TY  - BOOK
AU  - Barendregt, Hendrik Pieter
AU  - Barendregt,Hendrik Pieter
TI  - The lambda calculus
T2  - Studies in logic and the foundations of mathematics
SN  - 0444875085
PY  - 2004///
CY  - Amsterdam
PB  - Elsevier Science B.V.
KW  - Programmiersprache
ER  -