BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Thierry Coquand
SearchCollections
Map detail
Thierry Coquand13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThierry CoquandAThierry CoquandResearcherAnneaux à diviseurs et anneaux de Krull (une approche constructive)WAnneaux à diviseurs et ...preprint / 2024Dimension de Heitmann des treillis distributifs et des anneaux commutatifsWDimension de Heitmann d...preprint / 2022Regular entailment relationsWRegular entailment rela...preprint / 2020Constructive sheaf models of type theoryWConstructive sheaf mode...preprint / 2020Lorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']WLorenzen's proof of con...preprint / 2020Local structure of etale algebrasWLocal structure of etal...preprint / 2026Constructive Gelfand duality for C*-algebrasWConstructive Gelfand du...preprint / 2009Constructive Theory of Banach algebrasWConstructive Theory of ...preprint / 2010Metric complements of overt closed setsWMetric complements of o...preprint / 2009A constructive proof of Simpson's RuleWA constructive proof of...preprint / 2012A proof of strong normalisation using domain theoryWA proof of strong norma...preprint / 2007Computing Persistent Homology within Coq/SSReflectWComputing Persistent Ho...preprint / 2012
Person12 links

Thierry Coquand

Researcher

PaperAnneaux à diviseurs et anneaux de Krull (une approche constructive)Authorship / preprint / 2024PaperDimension de Heitmann des treillis distributifs et des anneaux commutatifsAuthorship / preprint / 2022PaperRegular entailment relationsAuthorship / preprint / 2020PaperConstructive sheaf models of type theoryAuthorship / preprint / 2020PaperLorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']Authorship / preprint / 2020PaperLocal structure of etale algebrasAuthorship / preprint / 2026PaperConstructive Gelfand duality for C*-algebrasAuthorship / preprint / 2009PaperConstructive Theory of Banach algebrasAuthorship / preprint / 2010

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)