A.Berarducci, Automatic Synthesis of Typed λ-Programs (1985)

by C Böhm
Venue:on Term Algebras, Theoretical Computer Science 39