dblp.uni-trier.dewww.uni-trier.de

Yves Lafont Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
16EEYves Lafont, Pierre Rannou: Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks. RTA 2008: 232-245
2007
15EEYves Lafont: Algebra and Geometry of Rewriting. Applied Categorical Structures 15(4): 415-437 (2007)
2004
14EEYves Lafont: Soft linear logic and polynomial time. Theor. Comput. Sci. 318(1-2): 163-180 (2004)
1998
13 Thomas Ehrhard, Yves Lafont, Laurent Regnier: Foreword. Mathematical Structures in Computer Science 8(6): 541 (1998)
1997
12EEYves Lafont: Two-Dimensional Rewriting. RTA 1997: 228-229
11 Yves Lafont: Interaction Combinators. Inf. Comput. 137(1): 69-101 (1997)
10 Yves Lafont: The Finite Model Property for Various Fragments of Linear Logic. J. Symb. Log. 62(4): 1202-1208 (1997)
1996
9 Yves Lafont, Andre Scedrov: The Undecidability of Second Order Multiplicative Linear Logic. Inf. Comput. 125(1): 46-51 (1996)
8 Yves Lafont: The Undecidability of Second Order Linear Logic Without Exponentials. J. Symb. Log. 61(2): 541-548 (1996)
1993
7 Yves Lafont: Equational Reasoning with Two-Dimensional Diagrams. Term Rewriting 1993: 170-195
1991
6 Yves Lafont, Thomas Streicher: Games Semantics for Linear Logic LICS 1991: 43-50
5 Yves Lafont, Alain Prouté: Church-Rosser Property and Homology of Monoids. Mathematical Structures in Computer Science 1(3): 297-326 (1991)
1990
4 Yves Lafont: Interaction Nets. POPL 1990: 95-108
1988
3 Yves Lafont: The Linear Abstract Machine. Theor. Comput. Sci. 59: 157-180 (1988)
2 Yves Lafont: The Linear Abstract Machine (Corrigenda). Theor. Comput. Sci. 62(3): 327-328 (1988)
1987
1EEJean-Yves Girard, Yves Lafont: Linear Logic and Lazy Computation. TAPSOFT, Vol.2 1987: 52-66

Coauthor Index

1Thomas Ehrhard [13]
2Jean-Yves Girard [1]
3Alain Prouté [5]
4Pierre Rannou [16]
5Laurent Regnier [13]
6Andre Scedrov [9]
7Thomas Streicher [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)