Lambda calculi a guide for computer scientists

书目详细资料
主要作者:	Hankin, Chris
格式:	图书
语言:	English
出版:	Oxford Clarendon Press 1994.
丛编:	Graduate texts in computer science 3
主题:	Lambda calculus.