The following pages link to (Q3698294):
Displaying 6 items.
- 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)
- (Q3203018) (← links)
- (Q4510742) (← links)
- (Q5854545) (← links)
- Unique-sort order-sorted theories : A description as monad morphisms (Q5881299) (← links)