Linear Logic and Lazy Computation. - Jean-Yves Girard 001; Yves Lafont (TAPSOFT, Vol.2, 1987)

The Linear Abstract Machine. - Yves Lafont (Theor. Comput. Sci., 1988)

The Linear Abstract Machine (Corrigenda). - Yves Lafont (Theor. Comput. Sci., 1988)

Interaction Nets. - Yves Lafont (POPL, 1990)

Games Semantics for Linear Logic - Yves Lafont; Thomas Streicher (LICS, 1991)

Church-Rosser Property and Homology of Monoids. - Yves Lafont; Alain Prouté (Math. Struct. Comput. Sci., 1991)

Equational Reasoning with Two-Dimensional Diagrams. - Yves Lafont (Term Rewriting, 1993)

The Undecidability of Second Order Multiplicative Linear Logic. - Yves Lafont; Andre Scedrov (Inf. Comput., 1996)

The Undecidability of Second Order Linear Logic Without Exponentials. - Yves Lafont (J. Symb. Log., 1996)

Two-Dimensional Rewriting. - Yves Lafont (RTA, 1997)

Interaction Combinators. - Yves Lafont (Inf. Comput., 1997)

The Finite Model Property for Various Fragments of Linear Logic. - Yves Lafont (J. Symb. Log., 1997)

Foreword. - Thomas Ehrhard; Yves Lafont; Laurent Regnier (Math. Struct. Comput. Sci., 1998)

Soft linear logic and polynomial time. - Yves Lafont (Theor. Comput. Sci., 2004)

Algebra and Geometry of Rewriting. - Yves Lafont (Appl. Categorical Struct., 2007)

Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks. - Yves Lafont; Pierre Rannou (RTA, 2008)