Well-definedness and observational equivalence for inductive–coinductive programs (Q5225850)
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 7086663
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Well-definedness and observational equivalence for inductive–coinductive programs |
scientific article; zbMATH DE number 7086663 |
Statements
Well-definedness and observational equivalence for inductive–coinductive programs (English)
0 references
29 July 2019
0 references
inductive types
0 references
coinductive types
0 references
termination
0 references
productivity
0 references
observational equivalence
0 references
testing logic
0 references
0 references
0.89951813
0 references
0 references
0.8820969
0 references
0.8738039
0 references
