Pages that link to "Item:Q3003319"
From MaRDI portal
The following pages link to Existential witness extraction in classical realizability and via a negative translation (Q3003319):
Displaying 9 items.
- Realizability for Peano arithmetic with winning conditions in HON games (Q345704) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- A Survey of Classical Realizability (Q3007652) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Implicative algebras: a new foundation for realizability and forcing (Q5139288) (← links)
- Classical realizability and arithmetical formulæ (Q5360216) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
