Personal information

No personal information available

Activities

Collapse all

Works (6)

A Variation of Reynolds-Hurkens Paradox

2024 | Book chapter
DOI: 10.1007/978-3-031-61716-4_7
Contributors: Thierry Coquand
Source: check_circle
Crossref

A foundation for synthetic algebraic geometry

Mathematical Structures in Computer Science
2024-10 | Journal article
DOI: 10.1017/S0960129524000239
Contributors: Felix Cherubini; Thierry Coquand; Matthias Hutzler
Source: check_circle
Crossref

Constructive sheaf models of type theory

Mathematical Structures in Computer Science
2021-10 | Journal article
DOI: 10.1017/S0960129521000359
Contributors: Thierry Coquand; Fabian Ruch; Christian Sattler
Source: check_circle
Crossref

On generalized algebraic theories and categories with families

Mathematical Structures in Computer Science
2021-10 | Journal article
DOI: 10.1017/S0960129521000268
Contributors: Marc Bezem; Thierry Coquand; Peter Dybjer; Martín Escardó
Source: check_circle
Crossref

Syntax and models of Cartesian cubical type theory

Mathematical Structures in Computer Science
2021-04 | Journal article
DOI: 10.1017/S0960129521000347
Contributors: Carlo Angiuli; Guillaume Brunerie; Thierry Coquand; Robert Harper; Kuen-Bang Hou (Favonia); Daniel R. Licata
Source: check_circle
Crossref

Revisiting Zariski Main Theorem from a constructive point of view

Journal of Algebra
2014-05 | Journal article
DOI: 10.1016/j.jalgebra.2014.02.003
Contributors: M.E. Alonso; T. Coquand; H. Lombardi
Source: check_circle
Crossref

Peer review (1 review for 1 publication/grant)

Review activity for Annals of pure and applied logic. (1)
How many people are using ORCID?