A Curry-Howard Approach to Church's Synthesis.

Pierre Pradic Colin Riba

Published in: FSCD (2017)

Keyphrases

program synthesis
management system
special case
texture synthesis
real time
trade off
probability distribution
data sets
databases
information retrieval
search engine
relational databases
evolutionary algorithm