The Hahn-Banach Theorem in Type Theory (1997)

by Jan Cederquist , Thierry Coquand , Sara Negri
Citations:7 - 0 self

Documents Related by Co-Citation

505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
75 Implementing mathematics with the NuPrl development system – R Constable, S Allen, H Bromley, W Cleaveland, J Cremer, R Harper, D Howe, T Knoblock, N Mendler, P Panangaden, J Sasaki, S Smith - 1986
38 Extracting Text from Proof – Yann Coscoy, Gilles Kahn, Laurent Thery - 1995
84 FUF: The universal unifier - user manual, version 5.0 – Michael Elhadad - 1991
32 Human Oriented Proof Presentation: A Reconstructive Approach – X Huang - 1996
29 Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization – John O'Leary , Miriam Leeser, Jason Hickey, Mark Aagaard - 1994
28 The translation of formal proofs into English – Daniel Chester - 1976
24 Writing programs that construct proofs – Robert L Constable, Todd B Knoblock, Joseph L Bates - 1985
9 A natural language explanation for formal proofs – Y Coscoy - 1997