Exposition: Synthesis via Functional Interpretation

2014/03/28 by Daniel Weller, Daniel S. Weller, Weller, Daniel
Chemistry · Computer Science · #History and advancements in chemistry #cs.LO

paper · pdf · doi:10.48550/arxiv.1403.7353

arxiv created 2014/03/28 · arxiv updated 2014/03/31

Abstract

The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.

Related

• A Worked Example of the Functional Interpretation
• Synthesis Benchmarks for Automated Reasoning
• Parametrised Functional Interpretations
• Program Synthesis is Σ₃⁰-Complete
• Mathematical Logic: Proof Theory, Constructive Mathematics