Proof Nets for Intuitionistic Logic (2006)

Cached

Download Links

by Matthias Horbach
Venue:SAARBRÜCKEN, GERMANY
Citations:2 - 0 self

Active Bibliography

ISSN 0249-6399 ISRN INRIA/RR--????--FR+ENGProof Nets and the Identity of Proofs – Lutz Straßburger, Thème Sym, Lutz Straßburger, Projet Parsifal - 2006
3 ON THE AXIOMATISATION OF BOOLEAN CATEGORIES WITH AND WITHOUT MEDIAL – Lutz Strassburger
15 On the axiomatisation of Boolean categories with and without medial, 2005. Preprint, available at http://arxiv.org/abs/cs.LO/0512086 – Lutz Straßburger, Inria Futurs, Projet Parsifal
Abstraction-Based Genetic Programming By – Franck J. L. Binard
Introduction to Proof Theory – Lutz Straßburger - 2010
2 What is the Problem with Proof Nets for Classical Logic? – Lutz Straßburger
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
19 Higher Order Logic – Daniel Leivant - 1994
On the Structure of Normal Lambda-Terms Having a Certain Type – Sabine Broda, Luis Damas
Generalised Proof-Nets for Compact Categories with Biproducts – n.n. - 2009
Down With the Bureaucracy of Syntax! – Pattern Matching For
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Second Year Report: Syntactic and Semantic properties of useful – unknown authors - 2008
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
6 Revisiting the Notion of Function – Fairouz Kamareddine, Twan Laan, Rob Nederpelt
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
N.G. de Bruijn’s Contribution to the Formalization of Mathematics – Herman Geuvers, Rob Nederpelt