FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY (Q4692084)
From MaRDI portal
scientific article; zbMATH DE number 6966189
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY |
scientific article; zbMATH DE number 6966189 |
Statements
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY (English)
0 references
26 October 2018
0 references
constructive set theory
0 references
type theory
0 references
W-types
0 references
homotopy type theory
0 references
higher inductive types
0 references
multisets
0 references
