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

by Corrado Böhm, Alessandro Berarducci
Venue:Third Conference on Foundations of Software Technology and Theoretical Computer Science