Pages that link to "Item:Q2495640"
From MaRDI portal
The following pages link to Recursive coalgebras from comonads (Q2495640):
Displaying 10 items.
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- Steps and traces (Q1798791) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- (Q3105114) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- A Type of Partial Recursive Functions (Q3543653) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Recursion schemes in Coq (Q6536316) (← links)
