Graph explorer

Thierry Coquand

Thierry Coquand contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewThierry Coquand
13 nodes12 links
Thierry Coquand13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAThierry CoquandResearcherWAnneaux à diviseurs et ...preprint / 2024WDimension de Heitmann d...preprint / 2022WRegular entailment rela...preprint / 2020WConstructive sheaf mode...preprint / 2020WLorenzen's proof of...preprint / 2020WLocal structure of etal...preprint / 2026WConstructive Gelfand du...preprint / 2009WConstructive Theory of ...preprint / 2010WMetric complements of o...preprint / 2009WA constructive proof of...preprint / 2012WComputing Persistent Ho...preprint / 2012WDynamic Newton-Puiseux ...preprint / 2013
PersonSignal 1012 links

Thierry Coquand

Researcher

Open