scholarly article
A formulation of the simple theory of types.
article by Alonzo Church published June 1940 in Journal of Symbolic Logic
+ JoinSee the latest ↓
The journal
Open the journal →The conversation starts in the journal — be the first to post.