Yves Lafont Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2008
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont, Pierre Rannou: Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks. RTA 2008: 232-245
2007
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: Algebra and Geometry of Rewriting. Applied Categorical Structures 15(4): 415-437 (2007)
2004
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: Soft linear logic and polynomial time. Theor. Comput. Sci. 318(1-2): 163-180 (2004)
1998
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Ehrhard, Yves Lafont, Laurent Regnier: Foreword. Mathematical Structures in Computer Science 8(6): 541 (1998)
1997
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: Interaction Combinators. Inf. Comput. 137(1): 69-101 (1997)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: The Finite Model Property for Various Fragments of Linear Logic. J. Symb. Log. 62(4): 1202-1208 (1997)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: Two-Dimensional Rewriting. RTA 1997: 228-229
1996
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont, Andre Scedrov: The Undecidability of Second Order Multiplicative Linear Logic. Inf. Comput. 125(1): 46-51 (1996)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: The Undecidability of Second Order Linear Logic Without Exponentials. J. Symb. Log. 61(2): 541-548 (1996)
1993
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: Equational Reasoning with Two-Dimensional Diagrams. Term Rewriting 1993: 170-195
1991
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont, Alain Prouté: Church-Rosser Property and Homology of Monoids. Mathematical Structures in Computer Science 1(3): 297-326 (1991)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont, Thomas Streicher: Games Semantics for Linear Logic. LICS 1991: 43-50
1990
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: Interaction Nets. POPL 1990: 95-108
1988
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: The Linear Abstract Machine. Theor. Comput. Sci. 59: 157-180 (1988)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Lafont: The Linear Abstract Machine (Corrigenda). Theor. Comput. Sci. 62(3): 327-328 (1988)
1987
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Yves Girard, Yves Lafont: Linear Logic and Lazy Computation. TAPSOFT, Vol.2 1987: 52-66

Coauthor Index

1Thomas Ehrhard
[j8]
2Jean-Yves Girard
[c1]
3Alain Prouté
[j3]
4Pierre Rannou
[c6]
5Laurent Regnier
[j8]
6Andre Scedrov
[j5]
7Thomas Streicher
[c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 19:49:59 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page