Automatic synthesis of typed λ-programs on term algebras (1985)

by Corrado Bohm, Alessandro Berarducci
Venue:Theoretical Computer Science