Proof-nets: The parallel syntax for proof-theory (1996)

Cached

Download Links

by Jean-yves Girard
Venue:Logic and Algebra
Citations:88 - 1 self

Active Bibliography

41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
29 Geometry of Interaction III: Accommodating the Additives – Jean-yves Girard - 1995
Looking From the Inside and From the Outside – A. Carbone, S. Semmes - 1998
INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION – A. Carbone, S. Semmes
1 The Paradigm of Interaction (short Version) – Yves Lafont, Ura Du Cnrs - 1991
90 Decision Problems for Propositional Linear Logic – Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar - 1990
Reversible, Irreversible and Optimal – Machines Vincent Danos, Vincent Danos, Laurent Regnier - 1996
3 A jump from parallel to sequential proofs. multiplicatives – Paolo Di Giamberardino, Claudia Faggian - 2006
Dynamics of Algorithms – Francesca Costantini, Gianfranco Mascari, Marco Pedicini
7 The Algebraic Theory of Interaction Nets – R. Banach, R. Banach, R. Banach - 1995
May I Borrow Your Logic? (Transporting Logical Structures along Maps) – Maura Cerioli, José Meseguer - 1995
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets – Sylvain Pogodalla
Generation, Lambek Calculus, Montague's Semantics – And Semantic Proof
3 Proofnets and Context Semantics for the Additives – Harry G. Mairson, Xavier Rival
238 Categorial Type Logics – Michael Moortgat - 1997
An algebraical proof of the Contraction Criterion for Proof Nets – Quintijn Puite
An algebraical proof of the Danos-Regnier correctness criterion for proof nets – Quintijn Puite - 1996
5 Generation as Deduction on Labelled Proof Nets – Josep Maria Merenciano, Glyn Morrill, Campus Nord, Jordi Girona Salgado
4 Geometry of Lexico-Syntactic Interaction – Glyn Morrill - 1999