The following pages link to (Q3075442):
Displaying 36 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- Realizability for Peano arithmetic with winning conditions in HON games (Q345704) (← links)
- Interaction graphs: graphings (Q345705) (← links)
- Well-foundedness in realizability (Q850808) (← 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 realizability interpretation for classical analysis (Q1762729) (← links)
- Dependent choice, `quote' and the clock (Q1884884) (← links)
- Quantitative classical realizability (Q2343127) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- A Survey of Classical Realizability (Q3007652) (← links)
- Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique (Q3128482) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- (Q3384877) (← links)
- (Q4453637) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q4580329) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Realizability in ordered combinatory algebras with adjunction (Q4623132) (← links)
- (Q4957786) (← links)
- (Q4957787) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← links)
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
- (Q5079725) (← links)
- Implicative algebras: a new foundation for realizability and forcing (Q5139288) (← links)
- (Q5155683) (← links)
- (Q5343334) (← links)
- Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
- Resource approximation for the \(\lambda \mu \)-calculus (Q6649457) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)
