A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991.
- 1 November 1993
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 64 (3) , 211-240
- https://doi.org/10.1016/0168-0072(93)90144-3
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A partial functions version of Church's simple theory of typesThe Journal of Symbolic Logic, 1990
- IMPS : An interactive mathematical proof systemPublished by Springer Nature ,1990
- A reduction of the axioms for the theory of prepositional typesFundamenta Mathematicae, 1963
- A theory of prepositional typesFundamenta Mathematicae, 1963
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940