Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. (Q5369486)
From MaRDI portal
scientific article; zbMATH DE number 6792354
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. |
scientific article; zbMATH DE number 6792354 |
Statements
17 October 2017
0 references
cyclic data structures
0 references
traced Cartesian category
0 references
fixed point
0 references
functional programming
0 references
fold
0 references
Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. (English)
0 references
