Non-wellfounded trees in Homotopy Type Theory (Q5277827)
From MaRDI portal
scientific article; zbMATH DE number 6744142
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-wellfounded trees in Homotopy Type Theory |
scientific article; zbMATH DE number 6744142 |
Statements
12 July 2017
0 references
homotopy type theory
0 references
coinductive types
0 references
computer theorem proving
0 references
cs.LO
0 references
math.CT
0 references
