The following pages link to (Q3105114):
Displaying 8 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Recursive coalgebras from comonads (Q2847806) (← links)
- (Q3204454) (← links)
- Embedding of Systems of Affine Recurrence Equations in Coq (Q3559765) (← links)
- Program algebras of recursive functions (Q4341956) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Algebra and Coalgebra in Computer Science (Q5492828) (← links)