The law of excluded middle in the simplicial model of type theory (Q5121795)
From MaRDI portal
scientific article; zbMATH DE number 7250002
Language | Label | Description | Also known as |
---|---|---|---|
English | The law of excluded middle in the simplicial model of type theory |
scientific article; zbMATH DE number 7250002 |
Statements
22 September 2020
0 references
univalent foundations
0 references
homotopy type theory
0 references
simplicial sets
0 references
law of excluded middle
0 references
dependent type theory
0 references
math.LO
0 references