Extracting Text from Proof (1995)

View PDF

Download Links

by Yann Coscoy , Gilles Kahn , Laurent Thery
Venue:IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS
Citations:40 - 1 self

Active Bibliography

Extracting Text from Proofs – Laurent Thery, Yann Coscoy, Yann Coscoy, Gilles Kahn, Gilles Kahn, Projet Croap - 1995
1165 Proof-Carrying Code – George C. Necula - 1997
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
224 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
193 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
187 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
101 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000