Gérard P. Huet

发表

Gérard P. Huet, Bernard Lang, G. Huet, 1978, Acta Informatica.
Gérard P. Huet, Henri Laulhère, 1997, TACS.
Gérard P. Huet, Jean-Marie Hullot, 1980, FOCS.
Gérard P. Huet, G. Huet, 1992, FSTTCS.
Wolfgang Bibel, Hans-Hellmut Nagel, Erik Sandewall, 1977, IJCAI.
Gérard P. Huet, Amokrane Saïbi, 2000, Proof, Language, and Interaction.
Jean-Jacques Lévy, Gérard P. Huet, G. Huet, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Gérard P. Huet, 1993, Theor. Comput. Sci..
Gérard P. Huet, Gérard P. Huet, 1973, IJCAI.
Gérard P. Huet, Benoît Razet, 2017, Math. Struct. Comput. Sci..
Gérard P. Huet, 1985, Combinators and Functional Programming Languages.
Gérard P. Huet, G. Huet, 2002, TPHOLs.
Gérard P. Huet, G. Huet, 1989, A Perspective in Theoretical Computer Science.
Gérard P. Huet, G. Huet, 1986, CADE.
Gérard P. Huet, G. Huet, 1998, Mathematical Structures in Computer Science.
François Fages, Gérard P. Huet, G. Huet, 1983, CAAP.
Gérard P. Huet, Amba P. Kulkarni, 2014, COLING.
Pawan Goyal, Gérard P. Huet, G. Huet, 2016, J. Lang. Model..
Gérard P. Huet, 2002, Theor. Comput. Sci..
Hugo Herbelin, Gérard P. Huet, G. Huet, 2014, POPL.
Gérard P. Huet, G. Huet, 1987, TAPSOFT, Vol.1.
Gérard P. Huet, 1975, Lambda-Calculus and Computer Science Theory.
Gérard P. Huet, G. Huet, 1997, Journal of Functional Programming.
Gérard P. Huet, Benoît Razet, G. Huet, 2006, Essays Dedicated to Joseph A. Goguen.
Gérard P. Huet, G. Huet, 2001, Proceedings Eighth Working Conference on Reverse Engineering.
Thierry Coquand, Gérard P. Huet, G. Huet, 1988, Inf. Comput..
Gérard P. Huet, G. Huet, 1981, J. Comput. Syst. Sci..
Thierry Coquand, Gérard P. Huet, T. Coquand, 1985, Logic Colloquium.
Gérard P. Huet, Jean-Marie Hullot, G. Huet, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Pawan Goyal, Gérard P. Huet, Amba P. Kulkarni, 2012, COLING.
Gordon D. Plotkin, Gérard P. Huet, G. Huet, 1991 .
Gérard P. Huet, G. Huet, 1975, Theor. Comput. Sci..
Gérard P. Huet, G. Huet, 1996, RTA.
Gérard P. Huet, G. Huet, 2009, Sanskrit Computational Linguistics.
Gérard P. Huet, Gérard P. Huet, 2003, Verification: Theory and Practice.
Pierre-Louis Curien, Gérard P. Huet, Antoine Petit, 2017, Bull. EATCS.
François Fages, Gérard P. Huet, 1983, CAAP.
Gérard P. Huet, 2003, J. Funct. Program..
Gérard P. Huet, G. Huet, 2011, Mathematical Structures in Computer Science.
Gérard P. Huet, G. Huet, 1985, Advanced Course: Fundamentals of Artificial Intelligence.