Categgories for types

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Crole, Roy L.
التنسيق: Printed Book
اللغة:English
منشور في: Cambridge Cambridge University Press 1993
الموضوعات:
Categorical type theory
الوصف
وصف المادة:
وصف مادي:xvii,335p.
ردمك:0-521-45701-7

مواد مشابهة