Pages that link to "Item:Q1767976"
From MaRDI portal
The following pages link to Completely iterative algebras and completely iterative monads (Q1767976):
Displayed 31 items.
- Monads for behaviour (Q265824) (← links)
- The coinductive resumption monad (Q283770) (← links)
- How iterative reflections of monads are constructed (Q384934) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- On functors preserving coproducts and algebras with iterativity (Q1727997) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- Steps and traces (Q1798791) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Corecursive algebras in nature (Q2104485) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- Friends with Benefits (Q2988636) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- (Q4600775) (← links)
- (Q4968384) (← links)
- (Q5009436) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Semantics of Higher-Order Recursion Schemes (Q5891582) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)