The following pages link to (Q4145866):
Displayed 9 items.
- Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) (Q645200) (← links)
- Order completion monads (Q1055871) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- An effectively given initial semigroup (Q1061863) (← links)
- On the algebra of order (Q1143782) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)