Similar Items: Finite choice, convex choice and finding roots
- Smart Choices and the Selection Monad
- A program for the full axiom of choice
- Interpolating Between Choices for the Approximate Intermediate Value Theorem
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
- Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions