Report - Lambda Calculus - SJTUbasics.sjtu.edu.cn/~yuxi/teaching/lectures/Lambda Calculus.pdf · Logic as a variable free presentation of functions [1924]. von Neumann [28Dec.1903-8Feb.1957]

Please pass captcha verification before submit form