On Bar Recursion and Choice in a Classical Setting
No abstract available.
Related papers
- The generalised continuum hypothesis implies the axiom of choice in Coq CPP 2021
- Semantics for variational Quantum programming POPL 2022
- A Progress Bar for Static Analyzers SAS 2014
- A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction APLAS 2011
- Bar Inductive Predicates for Constructive Algebra in Rocq CPP 2026
- The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies POPL 2013
- On continuation-passing transformations and expected cost analysis ICFP 2021
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017