Pages that link to "Item:Q1142573"
From MaRDI portal
The following pages link to Unique fixed points vs. least fixed points (Q1142573):
Displaying 30 items.
- How iterative reflections of monads are constructed (Q384934) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- Algebras of iteration theories (Q789159) (← links)
- Iterative factor algebras and induced metrics (Q790606) (← links)
- Extensions of iterative congruences of free iterative algebras (Q792751) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Group axioms for iteration (Q1283821) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← 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)
- Base modules for parametrized iterativity (Q2435311) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- On Iteratable Endofunctors (Q2842827) (← 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)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- (Q4972735) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- (Q5274901) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
- Sets with structure, mappings and fixed point property: fixed point structures (Q6180625) (← links)
