Jean-Baptiste Joinet

Publication Activity (10 Years)

Years Active: 1993-2007
Publications (10 Years): 0

Publications

Jean-Baptiste Joinet
Completeness of MLL proof-nets w.r.t. weak distributivity. J. Symb. Log. 72 (1) (2007)
Jean-Baptiste Joinet
Calculus of structures and proof-nets. Electron. Notes Theor. Comput. Sci. 84 (2003)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Computational isomorphisms in classical logic. Theor. Comput. Sci. 294 (3) (2003)
Vincent Danos, Jean-Baptiste Joinet
Linear logic and elementary time. Inf. Comput. 183 (1) (2003)
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
: Linear Decorations and Simulation of Normalization. J. Symb. Log. 67 (1) (2002)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
A New Deconstructive Logic: Linear Logic. J. Symb. Log. 62 (3) (1997)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Computational isomorphisms in classical logic. Electron. Notes Theor. Comput. Sci. 3 (1996)
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
Strong Normalization for All-Style LK. TABLEAUX (1996)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
On the linear decoration of intuitionistic derivations. Arch. Math. Log. 33 (6) (1995)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. Kurt Gödel Colloquium (1993)