Report copyright - The Lambda Calculus - Columbia University · 2010-11-29 · lambda calculus In 1937, Turing proved that the two models were equivalent, i.e., that they define the same class of computable
Please pass captcha verification before submit form