Automatic Synthesis of Typed Lambda-Programs on Term Algebras.

Corrado Böhm Alessandro Berarducci

Published in: Theor. Comput. Sci. (1985)

Keyphrases

lambda calculus
higher order
fully automatic
term extraction
functional programs
data sets
semi automatic
neural network
pairwise
fixed point
database
artificial intelligence
data driven
temporal reasoning
computer programs