Classical extraction in continuation models

DOI10.4230/LIPICS.FSCD.2016.13MaRDI QIDQ5369478zbMATH OpenOpenAlexFDO

Authors Valentin Blot

Publication date 17 October 2017

Full work available at URL https://hal.archives-ouvertes.fr/hal-01766872

zbMATH Keywords

classical logiccontrol operatorsextractiongame semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 65537
• Practical program extraction from classical proofs
• scientific article; zbMATH DE number 512771
• Classical Program Extraction in the Calculus of Constructions
• Refined program extraction from classical proofs

Cited in

(1)

• Extraction in the Lambek-Grishin Calculus

This page was built for publication: Classical extraction in continuation models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5369478)