The Seven Virtues of Simple Type Theory (2003)

by William M. Farmer
Venue:JOURNAL OF APPLIED LOGIC
Citations:19 - 5 self

Active Bibliography

2 A Basic Extended Simple Type Theory – William M. Farmer - 2001
23 Formalized mathematics – John Harrison - 1996
Artificial Intelligence and Symbolic Computation — AISC 2004 c ○ Springer-Verlag LNCS A Paraconsistent Higher Order Logic – Jørgen Villadsen
12 An Overview of A Formal Framework For Managing Mathematics – William M. Farmer, Martin V. Mohrenschildt - 2003
Andrews’ Type Theory with Undefinedness – William M. Farmer - 2008
Andrews ’ Type Theory with – William M. Farmer - 2009
1 Collections, Sets and Types – Gilles Dowek - 1995
5 A paraconsistent higher order logic – Jørgen Villadsen, Jørgen Villadsen - 2004
1 Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency – Jørgen Villadsen
Completeness Results for . . . – Mark Kaminski - 2006
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
2 A Lost Proof – Christoph Benzmüller, Manfred Kerber - 2001
41 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
16 TPS: A Theorem-Proving System for Classical Type Theory – Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi - 1996
19 Higher Order Logic – Daniel Leivant - 1994
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
12 STMM: A Set Theory for Mechanized Mathematics – William M. Farmer - 2000
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
TYPES, SETS AND CATEGORIES – John L. Bell