Exposition: Synthesis via Functional Interpretation

Daniel Weller

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

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment