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

by Corrado Böhm, Alessandro Berarducci
Venue:Theoretical Computer Science