TY  - BOOK
AU  - Hankin, Chris.
TI  - Lambda Calculi : Guide for Computer Scientists (GTCS 3)
SN  - 0 19 853841 3
CY  - Oxford
KW  - Lambda Calculi
ER  -