Pages that link to "Item:Q809105"
From MaRDI portal
The following pages link to A uniform approach to inductive posets and inductive closure (Q809105):
Displayed 24 items.
- Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
- Ideals in ordered sets, a unifying approach (Q997537) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Order completion monads (Q1055871) (← links)
- The category of Z-continuous posets (Q1056767) (← links)
- Posets isomorphic to their extensions (Q1064328) (← links)
- The Birkhoff variety theorem for continuous algebras (Q1076703) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- On the algebra of order (Q1143782) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- A dual problem to least fixed points (Q1160150) (← links)
- Embedding metric spaces into CPO's (Q1164416) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Bigeneration in complete lattices and principal separation in ordered sets (Q1182066) (← links)
- General Stone duality. (Q1426510) (← links)
- Completions for partially ordered semigroups (Q1821128) (← links)
- \({\mathbf Z}\)-continuous posets (Q1917482) (← links)
- Monotone Relations, Fixed Points and Recursive Definitions (Q3600566) (← links)
- ORDER EXTENSIONS AS ADJOINT FUNCTORS (Q3737471) (← links)
- Quasi-Atoms and Complete Distributivity (Q3800102) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- (Q3909265) (← links)
- The glueing construction and lax limits (Q4327407) (← links)