Functional Programming and Lambda Calculus (1990)

by H P Barendregt
Venue:Handbook of Theoretical Computer Science, chapter 7, pages 321 { 364, The MIT Press/Elsevier