λ演算

• λ演算
• An Unsolvable Problem of Elementary Number Theory
  • Alonzo Church, American Journal of Mathematics, Vol. 58, No. 2. (Apr., 1936), pp. 345-363
• Church (1940). A formulation of the simple theory of types. Journal of Symbolic Logic 5(2):56—68. Seldin (2006).
• The logic of Curry and Church. In Handbook of the History of Logic, vol.5: Logic from Russell to Church, p. 819—874. North-Holland: Amsterdam.