Yves Lafont
发表
Thomas Streicher,
Yves Lafont,
Y. Lafont,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Yves Lafont,
Y. Lafont,
1991
.
Yves Lafont,
1989
.
Yves Lafont,
Y. Lafont,
2007,
Appl. Categorical Struct..
Yves Lafont,
1997,
J. Symb. Log..
Pierre Rannou,
Yves Lafont,
2008,
RTA.
Jean-Yves Girard,
Yves Lafont,
J. Girard,
1987,
TAPSOFT, Vol.2.
Thomas Ehrhard,
Yves Lafont,
Laurent Regnier,
1989,
Steroids.
Jean-Yves Girard,
Laurent Regnier,
Yves Lafont,
1995
.
Yves Lafont,
1997,
RTA.
Yves Lafont,
1997,
Inf. Comput..
Yves Lafont,
1988,
Theor. Comput. Sci..
Yves Lafont,
Y. Lafont,
1989,
POPL '90.
Yves Lafont,
1993,
Term Rewriting.
Andre Scedrov,
Yves Lafont,
1996,
Inf. Comput..
Yves Lafont,
Y. Lafont,
2004,
Theor. Comput. Sci..
Yves Lafont,
Alain Prouté,
Y. Lafont,
1991,
Mathematical Structures in Computer Science.
Yves Lafont,
Y. Lafont,
1988,
Theor. Comput. Sci..
Yves Lafont,
1996,
J. Symb. Log..
Yves Lafont,
Y. Lafont,
2003
.
Yves Lafont,
François Métayer,
Y. Lafont,
2009
.
Krzysztof Worytkiewicz,
Yves Lafont,
Y. Lafont,
2007,
0712.0617.
Yves Lafont,
1995
.
Yves Lafont,
Y. Lafont,
2009
.