TY  - BOOK
AU  - Barendregt, H. P
TI  - The Lambda calculus: its syntax and semantics 
SN  - 0-444-87508-5
AV  - QA 9.5 B36.1984
PY  - 1984///
CY  - Amsterdam
PB  - North-Holland
KW  - Lambda, Cálculo
ER  -