Some new results on easy lambda-terms (1993)

by A Berarducci, B Intrigila
Venue:Theoretical Computer Science