Similar Items: Constructive Domains with Classical Witnesses
- Existential witness extraction in classical realizability and via a negative translation
- The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- Compiling With Classical Connectives
- Witness-Sensitive Detection of Induced Diamonds
- Classical BI: Its Semantics and Proof Theory