The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. - Vincent Danos; Jean-Baptiste Joinet; Harold Schellinx (Kurt Gödel Colloquium, 1993)

On the linear decoration of intuitionistic derivations. - Vincent Danos; Jean-Baptiste Joinet; Harold Schellinx (Arch. Math. Log., 1995)

Strong Normalization for All-Style LK. - Jean-Baptiste Joinet; Harold Schellinx; Lorenzo Tortora de Falco (TABLEAUX, 1996)

A New Deconstructive Logic: Linear Logic. - Vincent Danos; Jean-Baptiste Joinet; Harold Schellinx (J. Symb. Log., 1997)

SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. - Jean-Baptiste Joinet; Harold Schellinx; Lorenzo Tortora de Falco (J. Symb. Log., 2002)

Calculus of structures and proof-nets. - Jean-Baptiste Joinet (WoLLIC, 2003)

Linear logic and elementary time. - Vincent Danos; Jean-Baptiste Joinet (Inf. Comput., 2003)

Computational isomorphisms in classical logic. - Vincent Danos; Jean-Baptiste Joinet; Harold Schellinx (Theor. Comput. Sci., 2003)

Completeness of MLL proof-nets w.r.t. weak distributivity. - Jean-Baptiste Joinet (J. Symb. Log., 2007)