Classical Program Extraction in the Calculus of Constructions
From MaRDI portal
Publication:3608421
DOI10.1007/978-3-540-74915-8_25zbMath1179.68039OpenAlexW1522064526MaRDI QIDQ3608421
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_25
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Classical realizability and arithmetical formulæ ⋮ Specifying Peirce's law in classical realizability ⋮ A Survey of Classical Realizability ⋮ Relating Classical Realizability and Negative Translation for Existential Witness Extraction ⋮ Quantitative classical realizability
This page was built for publication: Classical Program Extraction in the Calculus of Constructions
