Guarded dependent type theory with coinductive types (Q2811330)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6591811
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Guarded dependent type theory with coinductive types |
scientific article; zbMATH DE number 6591811 |
Statements
Guarded Dependent Type Theory with Coinductive Types (English)
0 references
10 June 2016
0 references
0 references
0 references
0.8979621529579163
0 references
0.8693425059318542
0 references
0.831521213054657
0 references
0.8197753429412842
0 references
0.817089319229126
0 references
