J. Lévy
发表
Jean-Jacques Lévy,
Georges Gonthier,
Paul-André Melliès,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
J. Lévy,
Ran Chen,
2016
.
J. Lévy,
Ran Chen,
2015
.
Jean-Jacques Lévy,
Kanchana Kanchanasut,
J. Lévy,
1995
.
Jean-Jacques Lévy,
Gérard P. Huet,
G. Huet,
1991,
Computational Logic - Essays in Honor of Alan Robinson.
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
Jean-Jacques Lévy,
J. Lévy,
2009
.
Jean-Jacques Lévy,
J. Lévy,
1975,
Lambda-Calculus and Computer Science Theory.
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
Martín Abadi,
Jean-Jacques Lévy,
Georges Gonthier,
1992,
POPL '92.
Bruno Courcelle,
Jean-Jacques Lévy,
Yves Bertot,
2009
.
Jean-Jacques Lévy,
Luc Maranget,
J. Lévy,
1999,
FSTTCS.
Jean-Jacques Lévy,
Thérèse Hardin,
Pierre-Louis Curien,
1996,
JACM.
Jean-Jacques Lévy,
Luc Maranget,
Tomasz Blanc,
2005,
Processes, Terms and Cycles.
Jean-Jacques Lévy,
J. M. Cadiou,
J. Lévy,
1973,
SWAT.
Jean-Jacques Lévy,
Gérard Berry,
G. Berry,
1979,
MFCS.
Stephan Merz,
Jean-Jacques Lévy,
Laurent Théry,
2019,
ITP.
Jean-Jacques Lévy,
Didier Rémy,
Cédric Fournet,
1996,
CONCUR.
Jean-Jacques Lévy,
Gérard Berry,
G. Berry,
1977,
JACM.
Jean-Jacques Lévy,
J. Lévy,
2015,
Mathematical Structures in Computer Science.
Jean-Jacques Lévy,
J. Lévy,
1997,
TACS.
Jean-Jacques Lévy,
J. Lévy,
1976,
Theor. Comput. Sci..
Jean-Jacques Lévy,
Cédric Fournet,
Alan Schmitt,
2000,
IFIP TCS.