Title: Synthesis of Functional Programs with Help of First-order Intuitionistic Logic
Authors: Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrząszcz
Journal: International Conference on Formal Structures for Computation and Deduction (FSCD'2015)
Publication type: conference
DOI: 10.4230/LIPIcs.FSCD.2016.12