A Curry-Howard Approach to Church's Synthesis.

Pierre Pradic Colin Riba

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

program synthesis
wide range
real world
artificial intelligence
databases
information retrieval
decision making
database systems
texture synthesis