Practical forms of type theory (1948)

by Alan M Turing
Venue:Journal of Symbolic Logic