The following pages link to Combining effects: sum and tensor (Q2500483):
Displaying 50 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Monads for behaviour (Q265824) (← links)
- The coinductive resumption monad (Q283770) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Category theory for operational semantics (Q703525) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Generic models for computational effects (Q860841) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Monads for the formalization of a pattern matching procedure (Q2017780) (← links)
- A computational treatment of anaphora and its algorithmic implementation (Q2035844) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Bifold algebras and commutants for enriched algebraic theories (Q2105667) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Graded algebraic theories (Q2200837) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- Notions of Bidirectional Computation and Entangled State Monads (Q2941175) (← links)
- Fusion for Free (Q2941182) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)
- (Q4585073) (← links)
- (Q5013826) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- Runners in Action (Q5041086) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- Probabilistic Completion of Nondeterministic Models (Q5262931) (← links)
- Interleaving data and effects (Q5371955) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Backtracking with cut via a distributive law and left-zero monoids (Q5372012) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
