Lambda calculi a guide for computer scientists

書目詳細資料
主要作者:	Hankin, Chris
格式:	圖書
語言:	English
出版:	Oxford Clarendon Press 1994.
叢編:	Graduate texts in computer science 3
主題:	Lambda calculus.