Report - The Lambda Calculus · Lambda Abstraction The only other thing in the lambda calculus is lambda abstraction: a notation for de˝ning unnamed functions. ( x: + x1) ( x : + x 1 )" "

Please pass captcha verification before submit form