Exposition: Synthesis via Functional Interpretation
arXiv:1403.7353
Abstract
The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.
arXiv:1403.7353
The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.