Induction by coinduction and control operators in call-by-name (Q4957792)
From MaRDI portal
!
WARNING
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 7393568
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Induction by coinduction and control operators in call-by-name |
scientific article; zbMATH DE number 7393568 |
Statements
9 September 2021
0 references
0.7466429471969604
0 references
0.726208508014679
0 references
0.7130205035209656
0 references
0.7122553586959839
0 references
