|
2
|
A Basic Extended Simple Type Theory
– William M. Farmer
- 2001
|
|
22
|
Formalized mathematics
– John Harrison
- 1996
|
|
10
|
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
|
|
1
|
Collections, Sets and Types
– Calcul Symbolique, Gilles Dowek, Gilles Dowek, Projet Coq
- 1995
|
|
|
Completeness Results for . . .
– Mark Kaminski
- 2006
|
|
5
|
A paraconsistent higher order logic
– Jørgen Villadsen, Jørgen Villadsen
- 2004
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
2
|
A Lost Proof
– Christoph Benzmüller, Manfred Kerber
- 2001
|
|
14
|
TPS: A Theorem-Proving System for Classical Type Theory
– Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
- 1996
|
|
38
|
Mechanizing Coinduction and Corecursion in Higher-order Logic
– Lawrence C. Paulson
- 1997
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
67
|
Formal Methods and the Certification of Critical Systems
– John Rushby
- 1993
|
|
5
|
Types in logic and mathematics before 1940
– Fairouz Kamareddine, Twan Laan, Rob Nederpelt
- 2002
|
|
|
unknown title
– Fairouz Kamareddine
- 2005
|
|
|
Logic and Computerisation in mathematics?
– Fairouz Kamareddine
- 2009
|
|
11
|
STMM: A Set Theory for Mechanized Mathematics
– William M. Farmer
- 2000
|
|
8
|
Formalizing undefinedness arising in calculus
– William M. Farmer
- 2004
|
|
1
|
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths
– Fairouz Kamareddine, Twan Laan
- 1996
|
