Concepedia

Thierry Coquand

TC

58

Publications

3.5K

Citations

28

H-Index

1986

Active since

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 automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsLinguisticsLanguageSemanticsComputer ScienceRepresentation TheoryFormal VerificationMathematical Foundations

Publications per year

1986–2021

58

Publications

58

The calculus of constructions

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

Syntax, Automated Reasoning, Type Theory +4

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 · 179 citations · Full text

Inheritance as implicit coercion

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

Inductively generated formal topologies

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

Engineering, Automated Reasoning, Formal Methods +4

An analysis of Girard's paradox

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

Automated Reasoning, History Of Logic, Paraconsistent Logic +1

Rows per page

1–5 of 58