Disambiguation evidence for Gérard Huet via surface form

"Gérard Huet"

Triples (6)

Triples where some other subject referred to this entity as "Gérard Huet".

Herbrand Award → notableRecipient →
"Gérard Huet"
↳ resolves to Gérard Huet
ⓘ
ACM SIGPLAN Programming Languages Achievement Award → notableRecipient →
"Gérard Huet"
↳ resolves to Gérard Huet
ⓘ
Huet unification algorithm → namedAfter →
"Gérard Huet"
↳ resolves to Gérard Huet
ⓘ
Huet unification algorithm → introducedBy →
"Gérard Huet"
↳ resolves to Gérard Huet
ⓘ
Christine Paulin-Mohring → hasAcademicAdvisor →
"Gérard Huet"
↳ resolves to Gérard Huet
ⓘ
Xavier Leroy → doctoralAdvisor →
"Gérard Huet"
↳ resolves to Gérard Huet
ⓘ