A Survey of Classical Realizability

DOI10.1007/978-3-642-21691-6_1zbMath1218.03017OpenAlexW168980225MaRDI QIDQ3007652

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments

Cites Work

• Unnamed Item
• Dependent choice, `quote' and the clock
• Existential witness extraction in classical realizability and via a negative translation
• Classical Program Extraction in the Calculus of Constructions
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• On the interpretation of intuitionistic number theory
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory

This page was built for publication: A Survey of Classical Realizability