 | 2007 |
|---|
| 9 |       | Jean-Baptiste Joinet:
Completeness of MLL proof-nets w.r.t. weak distributivity.
J. Symb. Log. 72(1): 159-170 (2007) |
| 2003 |
|---|
| 8 | | Jean-Baptiste Joinet:
Calculus of structures and proof-nets.
Electr. Notes Theor. Comput. Sci. 84: 17 (2003) |
| 7 | | Vincent Danos,
Jean-Baptiste Joinet:
Linear logic and elementary time.
Inf. Comput. 183(1): 123-137 (2003) |
| 6 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
Computational isomorphisms in classical logic.
Theor. Comput. Sci. 294(3): 353-378 (2003) |
| 2002 |
|---|
| 5 | | Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco:
SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization.
J. Symb. Log. 67(1): 162-196 (2002) |
| 1997 |
|---|
| 4 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
A New Deconstructive Logic: Linear Logic.
J. Symb. Log. 62(3): 755-807 (1997) |
| 1996 |
|---|
| 3 | | Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco:
Strong Normalization for All-Style LK.
TABLEAUX 1996: 226-243 |
| 2 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
Computational isomorphisms in classical logic.
Electr. Notes Theor. Comput. Sci. 3: 183-195 (1996) |
| 1993 |
|---|
| 1 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.
Kurt Gödel Colloquium 1993: 159-171 |
Data released under the ODC-BY 1.0 license — See also our legal information page