Thierry Coquand
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
The following are their known coauthors:
Gérard A. Huet with a tentative wikidata QID: {{{coauthorQID}}}
This is a tentative Wikidata ID for the author listed on this page:
Q3524190 This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
The following are their known coauthors:
Henri Lombardi with a tentative wikidata QID: Q102364744
This is a tentative Wikidata ID for the author listed on this page:
Q3524190 This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
The following are their known coauthors:
Gérard A. Huet with a tentative wikidata QID: {{{coauthorQID}}}