Jean-Jacques Lévy

发表

Jean-Jacques Lévy, Gilles Dowek, 2011 .
Jean-Jacques Lévy, Gérard Berry, 1979, J. ACM.
Jean-Jacques Lévy, Gérard P. Huet, G. Huet, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Jean-Jacques Lévy, J. Lévy, 1975, Lambda-Calculus and Computer Science Theory.
Jean-Jacques Lévy, J. M. Cadiou, J. Lévy, 1973, SWAT.
Martín Abadi, Jean-Jacques Lévy, Georges Gonthier, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Jean-Jacques Lévy, Georges Gonthier, Paul-André Melliès, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Jean-Jacques Lévy, Pierre-Louis Curien, Gérard Berry, 1983 .
Jean-Jacques Lévy, Gilles Dowek, 2011 .
Stephan Merz, Jean-Jacques Lévy, Ran Chen, 2018, ArXiv.
Jean-Jacques Lévy, Andrea Asperti, 2013, LICS.
Jean-Jacques Lévy, Gérard Berry, G. Berry, 1979, MFCS.
Jean-Jacques Lévy, 2001, Electron. Notes Theor. Comput. Sci..
Jean-Jacques Lévy, Cédric Fournet, Alan Schmitt, 2000, IFIP TCS.
Jean-Jacques Lévy, Gordon Plotkin, Yves Bertot, 2009 .
Jean-Jacques Lévy, Didier Rémy, Cédric Fournet, 1996, CONCUR.
Jean-Jacques Lévy, Gordon Plotkin, Yves Bertot, 2009 .
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, Gérard Berry, G. Berry, 1977, JACM.
Jean-Jacques Lévy, Luc Maranget, Tomasz Blanc, 2005, Processes, Terms and Cycles.
Jean-Jacques Lévy, Gilles Dowek, 2011 .
Martín Abadi, Jean-Jacques Lévy, Luca Cardelli, 1989, POPL '90.
Jean-Jacques Lévy, Thérèse Hardin, Pierre-Louis Curien, 1996, JACM.
Jean-Jacques Lévy, Gilles Dowek, 2011 .
Jean-Jacques Lévy, Kanchana Kanchanasut, 1995, Lecture Notes in Computer Science.
Martín Abadi, Jean-Jacques Lévy, Luca Cardelli, 1989, POPL '90.
Jean-Jacques Lévy, Ran Chen, 2017, VSTTE.
Jean-Jacques Lévy, Luc Maranget, J. Lévy, 1999, FSTTCS.
Jean-Jacques Lévy, J. Lévy, 1997, TACS.
Jean-Jacques Lévy, Pierre-Louis Curien, G Berry, 1986 .
Jean-Jacques Lévy, J. Lévy, 2015, Mathematical Structures in Computer Science.
Jean-Jacques Lévy, Gilles Dowek, 2011, Undergraduate Topics in Computer Science.