References:
Church, Alonzo (1932) Church, Alonzo "A set of postulates for the foundation of logic" Annals of Mathematics 33:346-366 1932 E A
Church, Alonzo (1936) Church, Alonzo "An unsolvable problem of elementary number theory" in American Journal of Mathematics, 58 (1936) pp345-363 E A
Church, Alonzo T (1941) Church, Alonzo T "The Calculi of Lambda-Conversion" 1941 E A
Extract:
Lambda Calculus
Extract:
Extension and Intension
|