Functional Programming and Lambda Calculus (1990)

by H P Barendregt
Venue:in Handbook of Theoretical Computer Science: Formal Models and Semantics, Elsevier-The