Formal Proof Sketches (2002)

by Freek Wiedijk
Venue:In Proceedings of TYPES’03, volume 3085 of LNCS
Citations:22 - 3 self

Documents Related by Co-Citation

960 An Introduction to the Theory of Numbers – G Hardy, E Wright - 1979
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
762 Graph Theory – R Diestel - 2005
87 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
1293 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
879 A formulation of the simple theory of types – A Church - 1940
977 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993