|
41
|
Applications of Linear Logic to Computation: An Overview
– Vladimir Alexiev
- 1993
|
|
26
|
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
|
|
85
|
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
|
|
4
|
Asymptotic cyclic expansion and bridge groups of formal proofs
– A. Carbone, Université De Paris Xii, Communicated J. Tits
- 1998
|
|
3
|
Proofnets and Context Semantics for the Additives
– Harry G. Mairson, Xavier Rival
|
|
203
|
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
|
|
1
|
Weak Typed Böhm Theorem on IMLL
– Satoshi Matsuoka
- 2007
|
