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

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

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}}}

This is a tentative Wikidata ID for the author listed on this page:

Q3524190

Q3524190