Lambda calculi a guide for computer scientists

書誌詳細
第一著者:	Hankin, Chris
フォーマット:	図書
言語:	English
出版事項:	Oxford Clarendon Press 1994.
シリーズ:	Graduate texts in computer science 3
主題:	Lambda calculus.