Terminal semantics for codata types in intensional Martin-L\"of type theory (Q5277969)
From MaRDI portal
scientific article; zbMATH DE number 6744283
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Terminal semantics for codata types in intensional Martin-L\"of type theory |
scientific article; zbMATH DE number 6744283 |
Statements
12 July 2017
0 references
relative comonad
0 references
Martin-Löf type theory
0 references
coinductive type
0 references
computer theorem proving
0 references
cs.LO
0 references
math.CT
0 references
Terminal semantics for codata types in intensional Martin-Löf type theory (English)
0 references
