The following pages link to (Q2771052):
Displaying 42 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Generic models for computational effects (Q860841) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- On the relations between monadic semantics (Q879354) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Graded algebraic theories (Q2200837) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- The category theoretic understanding of universal algebra: Lawvere theories and monads (Q2864158) (← links)
- Semantics for Algebraic Operations (Q4917064) (← links)
- (Q5020616) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- Explicit Fair Scheduling for Dynamic Control (Q5187822) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- The order-<b>K</b>-ification monads (Q6149960) (← links)
- Algebraic effects for extensible dynamic semantics (Q6156625) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Inductive and coinductive predicate liftings for effectful programs (Q6653761) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)
