Henri Lombardi
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:
Thierry Coquand with a tentative wikidata QID: Q3524190
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
Thierry Coquand with a tentative wikidata QID: Q3524190