Similar Items: The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
- Extensional and Non-extensional Functions as Processes
- $text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
- Typed realizability for first-order classical analysis
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
- Existential witness extraction in classical realizability and via a negative translation
- Converse extensionality and apartness