Yves Lafont

According to our database, Yves Lafont authored at least 16 papers between 1987 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks.

Yves Lafont, Pierre Rannou

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007

Algebra and Geometry of Rewriting.

Yves Lafont

Appl. Categorical Struct., 2007

2004

Soft linear logic and polynomial time.

Yves Lafont

Theor. Comput. Sci., 2004

1998

Foreword.

Thomas Ehrhard, Yves Lafont, Laurent Regnier

Math. Struct. Comput. Sci., 1998

1997

The Finite Model Property for Various Fragments of Linear Logic.

Yves Lafont

J. Symb. Log., 1997

Interaction Combinators.

Yves Lafont

Inf. Comput., 1997

Two-Dimensional Rewriting.

Yves Lafont

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

1996

The Undecidability of Second Order Linear Logic Without Exponentials.

Yves Lafont

J. Symb. Log., 1996

The Undecidability of Second Order Multiplicative Linear Logic.

Yves Lafont, Andre Scedrov

Inf. Comput., 1996

1993

Equational Reasoning with Two-Dimensional Diagrams.

Yves Lafont

Proceedings of the Term Rewriting, 1993

1991

Church-Rosser Property and Homology of Monoids.

Yves Lafont, Alain Prouté

Math. Struct. Comput. Sci., 1991

Games Semantics for Linear Logic

Yves Lafont, Thomas Streicher

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1990

Interaction Nets.

Yves Lafont

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1988

The Linear Abstract Machine (Corrigenda).

Yves Lafont

Theor. Comput. Sci., 1988

The Linear Abstract Machine.

Yves Lafont

Theor. Comput. Sci., 1988

1987

Linear Logic and Lazy Computation.

Jean-Yves Girard, Yves Lafont

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987