Similar Items: Existential witness extraction in classical realizability and via a negative translation
- Constructive Domains with Classical Witnesses
- Typed realizability for first-order classical analysis
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
- The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
- Existential Definability over the Subword Ordering
- Faster Existential FO Model Checking on Posets