A Survey of Classical Realizability
From MaRDI portal
Publication:3007652
DOI10.1007/978-3-642-21691-6_1zbMATH Open1218.03017OpenAlexW168980225MaRDI QIDQ3007652FDOQ3007652
Authors: Alexandre Miquel 
Publication date: 17 June 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21691-6_1
Recommendations
- REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
- Classical and relative realizability
- A realizability interpretation for classical analysis
- Publication:4944901
- scientific article
- Classical realizability as a classifier for nondeterminism
- Classical realizability and arithmetical formulæ
- Quantitative classical realizability
- Verificationism and Classical Realizability
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Cites Work
- On the interpretation of intuitionistic number theory
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- Dependent choice, `quote' and the clock
- Existential witness extraction in classical realizability and via a negative translation
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory
- Title not available (Why is that?)
- Classical Program Extraction in the Calculus of Constructions
Cited In (17)
- Classical and relative realizability
- Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction
- Classical realizability as a classifier for nondeterminism
- Classical realizability and arithmetical formulæ
- Classical realizability in the CPS target language
- Quantitative classical realizability
- Zeta functions and the (linear) logic of Markov processes
- Title not available (Why is that?)
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Specifying Peirce's law in classical realizability
- Verificationism and Classical Realizability
- A quick overview on the quantum control approach to the lambda calculus
- Krivine's classical realisability from a categorical perspective
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- A semantics of realisability for the classical propositional natural deduction
- Realizability: a historical essay
This page was built for publication: A Survey of Classical Realizability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007652)
