Disambiguation evidence for Thierry Coquand via surface form

"Thierry Coquand"

Triples (3)

Triples where some other subject referred to this entity as "Thierry Coquand".

Gérard Huet → notableStudent →
"Thierry Coquand"
↳ resolves to Thierry Coquand
ⓘ
Coq → namedAfter →
"Thierry Coquand"
↳ resolves to Thierry Coquand
ⓘ
Calculus of Constructions → creator →
"Thierry Coquand"
↳ resolves to Thierry Coquand
ⓘ