The following pages link to (Q3659173):
Displaying 5 items.
- Generalized algebraic theories and contextual categories (Q1096716) (← links)
- On a generalized product for domains (Q1311968) (← links)
- Category-sorted algebra-based action semantics (Q2638792) (← links)
- Action Semantics in Retrospect (Q3184743) (← links)
- Action Algebras and Model Algebras in Denotational Semantics (Q3184749) (← links)
