Similar Items: Typed realizability for first-order classical analysis
- Existential witness extraction in classical realizability and via a negative translation
- Realizability algebras: a program to well order R
- The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
- Stateful Realizers for Nonstandard Analysis
- Analytic Tableaux for Simple Type Theory and its First-Order Fragment