Cyclic datatypes modulo bisimulation based on second-order algebraic theories (Q4596785)
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 6816929
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Cyclic datatypes modulo bisimulation based on second-order algebraic theories |
scientific article; zbMATH DE number 6816929 |
Statements
11 December 2017
0 references
cyclic data structures
0 references
traced Cartesian category
0 references
iteration theory
0 references
fixed point
0 references
categorical semantics
0 references
general schema
0 references
functional programming
0 references
fold
0 references
0.918607771396637
0 references
0.7310056090354919
0 references
0.7300318479537964
0 references
0.7077811360359192
0 references
