Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic
From MaRDI portal
Publication:5369477
DOI10.4230/LIPIcs.FSCD.2016.12zbMath1387.68061OpenAlexW2482021631MaRDI QIDQ5369477
Daria Walukiewicz-Chrząszcz, Aleksy Schubert, Marcin Benke
Publication date: 17 October 2017
Full work available at URL: https://dblp.uni-trier.de/db/conf/rta/fscd2016.html#BenkeSC16
Functional programming and lambda calculus (68N18) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic