Yves Lafont

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