Gérard Huet
发表
Gérard Huet,
G. Huet,
1990
.
Amba Kulkarni,
Pawan Goyal,
Gérard Huet,
2012
.
Alain Lecomte,
Henri Portine,
Gérard Huet,
2005
.
Thierry Coquand,
Gérard Huet,
G. Huet,
1985,
European Conference on Computer Algebra.
Bruno Courcelle,
Jean-Jacques Lévy,
Yves Bertot,
2009
.
Maxime Amblard,
Benoît Sagot,
Reinhard Muskens,
2006
.
Richard Moot,
Houda Anoun,
Gérard Huet,
2007
.
Damien Doligez,
Pierre Weis,
Alain Frisch,
2005
.
Gérard Huet,
G. Huet,
1997
.
Gérard Huet,
G. Huet,
1994,
Journal of Functional Programming.
Gérard Huet,
G. Huet,
1978
.
Gérard Huet,
G. Huet,
1972
.