Searching for "A Formulation of the Simple Theory of Types." – sorted by Relevance.
-
A Formulation of the Simple Theory of Types (for Isabelle)
- A Formulation of the Simple Theory of Types (for Isabelle) Lawrence C. Paulson Computer Laboratory
- Cited by 9 (4 self) – Add To MetaCart
-
Bibliography
- , 345--363. Church, A. (1940) A formulation of the Simple Theory of Types. Journal of Symbolic Logic, 5
- Add To MetaCart
-
Strong Static Type Checking for Functional Common Lisp
- .e, the collection of arguments for which the said function has values." Church's "A Formulation of the Simple Theory
- Cited by 3 (0 self) – Add To MetaCart

