TY  - BOOK
AU  - Hankin Chris
TI  - Lambda calculi: a guide for computer scientists
SN  - 0-19-853841-3
U1  - 004.0151 
PY  - 1994///
CY  - Oxford
PB  - Clarendon Press
KW  - Computer science-mathematical techniques
ER  -