The following pages link to (Q2851544):
Displaying 26 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← 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)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← 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)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- (Q5020616) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Metric monads (Q5076388) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Backtracking with cut via a distributive law and left-zero monoids (Q5372012) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)
