Practical forms of type theory (1948)

by A M Turing
Venue:Journal of Symbolic Logic