Thierry Coquand
Jump to navigation
Jump to search
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}}}