Yves Lafont

Publication Activity (10 Years)

Years Active: 1987-2008
Publications (10 Years): 0

Publications

Yves Lafont, Pierre Rannou
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks. RTA (2008)
Yves Lafont
Algebra and Geometry of Rewriting. Appl. Categorical Struct. 15 (4) (2007)
Yves Lafont
Soft linear logic and polynomial time. Theor. Comput. Sci. 318 (1-2) (2004)
Thomas Ehrhard, Yves Lafont, Laurent Regnier
Foreword. Math. Struct. Comput. Sci. 8 (6) (1998)
Yves Lafont
Interaction Combinators. Inf. Comput. 137 (1) (1997)
Yves Lafont
The Finite Model Property for Various Fragments of Linear Logic. J. Symb. Log. 62 (4) (1997)
Yves Lafont
Two-Dimensional Rewriting. RTA (1997)
Yves Lafont, Andre Scedrov
The Undecidability of Second Order Multiplicative Linear Logic. Inf. Comput. 125 (1) (1996)
Yves Lafont
The Undecidability of Second Order Linear Logic Without Exponentials. J. Symb. Log. 61 (2) (1996)
Yves Lafont
Equational Reasoning with Two-Dimensional Diagrams. Term Rewriting (1993)
Yves Lafont, Thomas Streicher
Games Semantics for Linear Logic LICS (1991)
Yves Lafont, Alain Prouté
Church-Rosser Property and Homology of Monoids. Math. Struct. Comput. Sci. 1 (3) (1991)
Yves Lafont
Interaction Nets. POPL (1990)
Yves Lafont
The Linear Abstract Machine (Corrigenda). Theor. Comput. Sci. 62 (3) (1988)
Yves Lafont
The Linear Abstract Machine. Theor. Comput. Sci. 59 (1988)
Jean-Yves Girard, Yves Lafont
Linear Logic and Lazy Computation. TAPSOFT, Vol.2 (1987)