Report - Introduction to the Lambda Calculuslomont.org/talks/Introduction_to_the_Lambda_Calculus.pdf · Church (1936) invented the “lambda calculus”, written 𝜆-calculus. A “calculus”

Please pass captcha verification before submit form