Pages that link to "Item:Q2847806"
From MaRDI portal
The following pages link to Recursive coalgebras from comonads (Q2847806):
Displaying 8 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Combinatorial models for coalgebraic structures (Q1272792) (← links)
- Cofree coalgebras and multivariable recursiveness. (Q1413887) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- (Q3105114) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- A Type of Partial Recursive Functions (Q3543653) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)