Y. Lafont
发表
J. Girard,
P. Taylor,
Y. Lafont,
1989
.
Y. Lafont,
2019,
99 Variations on a Proof.
Jean-Yves Girard,
Yves Lafont,
J. Girard,
1987,
TAPSOFT, Vol.2.
J. Girard,
Y. Lafont,
L. Regnier,
1995
.
Y. Lafont,
1995
.
Yves Lafont,
Y. Lafont,
2004,
Theor. Comput. Sci..
Yves Lafont,
Y. Lafont,
2009
.
Jean-Yves Girard,
Laurent Regnier,
Yves Lafont,
1995
.
Yves Lafont,
Y. Lafont,
2003
.
Y. Lafont,
2010
.
Yves Lafont,
Y. Lafont,
1988,
Theor. Comput. Sci..
Y. Lafont,
Alain Prouté,
2011
.
Thomas Streicher,
Yves Lafont,
Y. Lafont,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Krzysztof Worytkiewicz,
Yves Lafont,
Y. Lafont,
2007,
0712.0617.
Y. Lafont,
Dimitri Ara,
Franccois M'etayer,
2022,
2209.08022.
Yves Lafont,
François Métayer,
Y. Lafont,
2009
.
Thomas Ehrhard,
Yves Lafont,
Laurent Regnier,
1989,
Steroids.
Yves Lafont,
Y. Lafont,
1989,
POPL '90.
Y. Lafont,
Patrick Dehornoy,
2001,
math/0111231.
Yves Lafont,
Y. Lafont,
1991
.
Yves Lafont,
Alain Prouté,
Y. Lafont,
1991,
Mathematical Structures in Computer Science.
Yves Lafont,
Y. Lafont,
2007,
Appl. Categorical Struct..