Revisiting the categorical interpretation of dependent type theory (Q2253180)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Revisiting the categorical interpretation of dependent type theory |
scientific article |
Statements
Revisiting the categorical interpretation of dependent type theory (English)
0 references
25 July 2014
0 references
type theory
0 references
categorical semantics
0 references
dependent types
0 references
monoidal categories
0 references
locally Cartesian closed categories
0 references
Grothendieck fibrations
0 references
coherence
0 references
0 references
