W-types in homotopy type theory (Q5740651)
From MaRDI portal
scientific article; zbMATH DE number 6606937
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | W-types in homotopy type theory |
scientific article; zbMATH DE number 6606937 |
Statements
W-types in homotopy type theory (English)
0 references
27 July 2016
0 references
