The Interpretation Lifting Theorem for C-Systems (Q5025082)
From MaRDI portal
scientific article; zbMATH DE number 7467861
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Interpretation Lifting Theorem for C-Systems |
scientific article; zbMATH DE number 7467861 |
Statements
1 February 2022
0 references
C-system
0 references
contextual category
0 references
interpretation lifting conjecture
0 references
term model
0 references
type theory
0 references
univalence axiom
0 references
universe category
0 references
math.CT
0 references
math.LO
0 references
