1985] "Automatic synthesis of typed lambda-programs on term algebras (0)

by C B��hm, A Berarducci
Venue:Theor. Comp. Sci