Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic.

Marcin Benke Aleksy Schubert Daria Walukiewicz-Chrzaszcz

Published in: FSCD (2016)

Keyphrases

functional programs
intuitionistic logic
logic programs
linear logic
classical logic
proof theoretic
first order logic
model theoretic
natural deduction
functional language
logic programming
horn clauses
object oriented
normal form