The following pages link to (Q5665189):
Displaying 6 items.
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- On rational definitions in complete algebras without rank (Q1171374) (← links)
- (Q3336679) (← links)
- (Q4104120) (← links)
