Smart Choices and the Selection Monad
From MaRDI portal
Publication:6135751
DOI10.46298/lmcs-19(2:3)2023arXiv2007.08926OpenAlexW3042976617MaRDI QIDQ6135751
Gordon D. Plotkin, Martín Abadi
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2007.08926
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Peirce translation
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Combining algebraic effects with continuations
- Modelling environments in call-by-value programming languages.
- Layer by layer -- combining monads
- Algebraic operations and generic effects
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Convexity theories. IV: Klein-Hilbert parts in convex modules
- Correctness of automatic differentiation via diffeologies and categorical gluing
- Congruences of convex algebras.
- Combining effects: sum and tensor
- Kan extensions in enriched category theory
- Strong functors and monoidal monads
- Postulates for the barycentric calculus
- System T and the Product of Selection Functions
- Sequential games and optimal strategies
- Selection functions, bar recursion and backward induction
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
- On the Versatility of Open Logical Relations
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Distributing probability over non-determinism
- Constructive decidability of classical continuity
- Smart Choices and the Selection Monad
This page was built for publication: Smart Choices and the Selection Monad
