Jean-Baptiste Joinet

J. Symb. Log., 2007

2003

Computational isomorphisms in classical logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Linear logic and elementary time.

[BibT_eX]

[DOI]

Inf. Comput., 2003

Calculus of structures and proof-nets.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002

SN and CR for Free-Style LK<sup>tq</sup>: Linear Decorations and Simulation of Normalization.

[BibT_eX]

[DOI]

Lorenzo Tortora de Falco

J. Symb. Log., 2002

1997

A New Deconstructive Logic: Linear Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1997

1996

Strong Normalization for All-Style LK.

[BibT_eX]

[DOI]

Lorenzo Tortora de Falco

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1995

On the linear decoration of intuitionistic derivations.

[BibT_eX]

[DOI]

Arch. Math. Log., 1995

1993

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.

[BibT_eX]

[DOI]