Gérard Huet
Œuvres (4)
La Gestion des données dans les systèmes informatiques
La Gestion des données dans les systèmes informatiques
1974
Construction, amélioration et vérification de programmes =
Construction, amélioration et vérification de programmes =
1975
A Unification algorithm for type theory
A Unification algorithm for type theory
1973
A Mechanization of type theory
A Mechanization of type theory
1973