Archive: lambda calculus

Church numerals