The following pages link to (Q2851544):
Displayed 14 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- Generic models for computational effects (Q860841) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- A Convenient Category of Domains (Q2864147) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)