Huet, Gérard P.

2 publications

IJCAI 1977 Artificial Intelligence in Western Europe Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco

IJCAI 1973 A Mechanization of Type Theory Gérard P. Huet