Lambda calculi a guide for computer scientists - Hankin, Chris (Oxford Clarendon Press, 1994)
Keywords: Lambda calculus