The Recursion Scheme from the Cofree Recursive Comonad (Q5166625)
From MaRDI portal
scientific article; zbMATH DE number 6309388
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Recursion Scheme from the Cofree Recursive Comonad |
scientific article; zbMATH DE number 6309388 |
Statements
The Recursion Scheme from the Cofree Recursive Comonad (English)
0 references
27 June 2014
0 references
structured recursion
0 references
comonad-based recursion
0 references
cofree comonads
0 references
cofree recursive comonads
0 references
Mendler recursion
0 references
circular proofs
0 references
