Lambda calculi a guide for computer scientists

Bibliographic Details
Main Author:	Hankin, Chris
Format:	Book
Language:	English
Published:	Oxford Clarendon Press 1994.
Series:	Graduate texts in computer science 3
Subjects:	Lambda calculus.