Exposition: Synthesis via Functional Interpretation
Logic in Computer Science
2014-03-31 v1
Abstract
The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.
Cite
@article{arxiv.1403.7353,
title = {Exposition: Synthesis via Functional Interpretation},
author = {Daniel Weller},
journal= {arXiv preprint arXiv:1403.7353},
year = {2014}
}