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: 159 Publications since 1984, including 2 Books
Reviewing Activity: 34 Reviews
all top 5


8 Annals of Pure and Applied Logic
7 Theoretical Computer Science
6 Journal of Logic and Analysis
5 The Journal of Symbolic Logic
5 Fundamenta Informaticae
4 Journal of Algebra
4 Journal of Pure and Applied Algebra
4 Information and Computation
4 MSCS. Mathematical Structures in Computer Science
4 Archive for Mathematical Logic
4 Logical Methods in Computer Science
3 Indagationes Mathematicae. New Series
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Functional Programming
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Manuscripta Mathematica
2 Journal of Symbolic Computation
2 Comptes Rendus de l’Académie des Sciences. Série I
2 Oberwolfach Reports
1 American Mathematical Monthly
1 Communications in Algebra
1 Rocky Mountain Journal of Mathematics
1 Archiv der Mathematik
1 Gazette des Mathématiciens
1 Science of Computer Programming
1 Journal of Automated Reasoning
1 Bulletin of the European Association for Theoretical Computer Science (EATCS)
1 Bulletin of the American Mathematical Society. New Series
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Positivity
1 Bulletin of the European Association for Theoretical Computer Science EATCS
1 La Gaceta de la Real Sociedad Matemática Española
1 Journal of Universal Computer Science
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 ACM Transactions on Computational Logic
1 Journal of Algebra and its Applications
1 Lecture Notes in Computer Science
1 Journal of Formalized Reasoning

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline