nLab
Thierry Coquand
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

Thierry Coquand is a professor in computer science at the University of Gothenburg, Sweden.
webpage
category:
people
Revised on April 27, 2013 00:28:42 by
Tim Porter
(95.147.236.105)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
cubical set
,
constructive mathematics
,
homological algebra
,
type theory
,
calculus of constructions
,
constructive Gelfand duality theorem
,
Riesz representation theorem
,
homotopy type theory
,
Coq
,
univalence axiom
,
hset
,
canonical form
,
integral
,
Russell's paradox
,
Bishop set
,
split support
,
logical relation
,
steady function