Lambda calculi a guide for computer scientists

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Hankin, Chris
التنسيق:	كتاب
اللغة:	English
منشور في:	Oxford Clarendon Press 1994.
سلاسل:	Graduate texts in computer science 3
الموضوعات:	Lambda calculus.