The following pages link to Iterative algebras (Q789385):
Displayed 26 items.
- How iterative reflections of monads are constructed (Q384934) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- Iterative factor algebras and induced metrics (Q790606) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Obituary: Evelyn M. Nelson (Q1112800) (← links)
- Group axioms for iteration (Q1283821) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- On functors preserving coproducts and algebras with iterativity (Q1727997) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Base modules for parametrized iterativity (Q2435311) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) (← links)
- (Q3801512) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- (Q5274901) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)