zbMATH — the first resource for mathematics

Coquand, Thierry

Compute Distance To:
Author ID: coquand.thierry
Published as: Coquand, T.; Coquand, Thierry
Homepage: http://www.cse.chalmers.se/~coquand/
External Links: MGP · Wikidata · ResearchGate · dblp · GND
Member of Collective: the-univalent-foundations-program.
Documents Indexed: 151 Publications since 1984, including 2 Books
Reviewing Activity: 34 Reviews

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline