TY  - BOOK
AU  - Barendregt, H.P.
TI  - THE LAMBDA CALCULUS
SN  - 0 444 87508 5
U1  - 511.3 
PY  - 1984///
CY  - 
PB  - North-Holland
ER  -