Active Bibliography

19 The Seven Virtues of Simple Type Theory – William M. Farmer - 2003
12 An Overview of A Formal Framework For Managing Mathematics – William M. Farmer, Martin V. Mohrenschildt - 2003
12 STMM: A Set Theory for Mechanized Mathematics – William M. Farmer - 2000
Andrews’ Type Theory with Undefinedness – William M. Farmer - 2008
Andrews ’ Type Theory with – William M. Farmer - 2009
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
Artificial Intelligence and Symbolic Computation — AISC 2004 c ○ Springer-Verlag LNCS A Paraconsistent Higher Order Logic – Jørgen Villadsen
16 TPS: A Theorem-Proving System for Classical Type Theory – Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi - 1996
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
1 Collections, Sets and Types – Gilles Dowek - 1995
TYPES, SETS AND CATEGORIES – John L. Bell
9 Formalizing undefinedness arising in calculus – William M. Farmer - 2004
A Challenge for Mechanized Deduction – Christoph Benzmüller, Manfred Kerber
2 A Lost Proof – Christoph Benzmüller, Manfred Kerber - 2001
4 Herbrand award acceptance speech – Peter B. Andrews - 2003
4 System description: LEO – a resolution based higher-order theorem prover – Christoph Benzmüller - 2005
1 A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths – Fairouz Kamareddine, Twan Laan - 1996
3 A formalization of the Ramified Type Theory – Twan Laan - 1994