Searching for "A Formulation of the Simple Theory of Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

A Formulation of the Simple Theory of Types (for Isabelle)
by Lawrence C. Paulson — 1989
…A Formulation of the Simple Theory of Types (for Isabelle) Lawrence C. Paulson Computer Laboratory…
Cited by 9 (4 self) – Add To MetaCart

Bibliography
by Aagaard And Leeser, Adel'son-vel'skii G. M — 1996
…, 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
by Robert L. Akers — 1993 — University of Texas at Austin
….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

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB