Disambiguation evidence for Jean-Yves Girard via surface form

"Jean-Yves Girard"

Triples (7)

Triples where some other subject referred to this entity as "Jean-Yves Girard".

Nicolas Bourbaki → hasMember →
"Jean-Yves Girard"
↳ resolves to Jean-Yves Girard
ⓘ
Thierry Coquand → hasAcademicAdvisor →
"Jean-Yves Girard"
↳ resolves to Jean-Yves Girard
ⓘ
Thierry Coquand → influencedBy →
"Jean-Yves Girard"
↳ resolves to Jean-Yves Girard
ⓘ
linear logic → creator →
"Jean-Yves Girard"
↳ resolves to Jean-Yves Girard
ⓘ
System F → wasIntroducedBy →
"Jean-Yves Girard"
↳ resolves to Jean-Yves Girard
ⓘ
linked to: system F
System F → introducedBy →
"Jean-Yves Girard"
↳ resolves to Jean-Yves Girard
ⓘ
William Alvin Howard → influenced →
"Jean-Yves Girard"
↳ resolves to Jean-Yves Girard
ⓘ