TY  - BOOK
AU  - Barendregt, H. P.
TI  - The lambda calculus : : its syntax and semantics / 
SN  - 9781848900660
U1  - 511.3 22
PY  - 2012///
CY  - milton keynes : 
PB  - lightning source, 
KW  - Calculus
N1  - Include Index
ER  -