Functional programming and lambda calculus (1990)

by Henk P Barendregt
Venue:Formal Models and Semantics, Handbook of Theoretical Computer Science, volume B