nLab Thierry Coquand

Thierry Coquand is a professor in computer science at the University of Gothenburg, Sweden.

Selected writings

On identity types in dependent type theory (homotopy type theory):

category: people

Last revised on September 26, 2022 at 06:56:29. See the history of this page for a list of all contributions to it.