The following pages link to (Q2851544):
Displayed 8 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)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)