Concepedia

Thierry Coquand

TC

Statistics

Publications

59

Citations

3.5K

H-Index

28

Active since

1986

Affiliations

Chalmers University of Technology(Current)

University of Gothenburg

Institut national de recherche en sciences et technologies du numérique

Université de Franche-Comté

University of Pennsylvania

Thierry Coquand is an author at Chalmers University of Technology specializing in mathematics, computer science, and computing.

Publications per year

1986–2025

59

Publications

59

The calculus of constructions

Thierry Coquand, Gérard Huet · Information and Computation · 1988 · 1.1K citations · Full text

Language Studies, Mathematics, Syntax +2

Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom

Cyril Cohen, Thierry Coquand, Simon Huber et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 180 citations · Full text

Natural Sciences, Mathematics, Philosophy Of Mathematics +12

Inheritance as implicit coercion

Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter et al. · Information and Computation · 1991 · 179 citations

Computing, Computer Science, Programming Languages +13

Inductively generated formal topologies

Thierry Coquand, Giovanni Sambin, Jan M. Smith et al. · Annals of Pure and Applied Logic · 2003 · 147 citations

Computing, Computer Science, Mathematics +4

An analysis of Girard's paradox

Thierry Coquand · OpenGrey (Institut de l'Information Scientifique et Technique) · 1986 · 145 citations · Full text

Natural Sciences, Mathematics, Combinatorics +3

1–5 of 59