The seven virtues of simple type theory
- 30 September 2008
- journal article
- Published by Elsevier in Journal of Applied Logic
- Vol. 6 (3) , 267-286
- https://doi.org/10.1016/j.jal.2007.11.001
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- TPS: A theorem-proving system for classical type theoryJournal of Automated Reasoning, 1996
- 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.Annals of Pure and Applied Logic, 1993
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- A partial functions version of Church's simple theory of typesThe Journal of Symbolic Logic, 1990
- The calculus of constructionsInformation and Computation, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- A reduction of the axioms for the theory of prepositional typesFundamenta Mathematicae, 1963
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- Begründung des „tertium non datur” mittels der Hilbertschen Theorie der WiderspruchsfreiheitMathematische Annalen, 1925