Lambda-calculus and combinators, an introduction /

other_versions_link
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Hindley, J. Roger
مؤلفون آخرون: Seldin, J. P.
التنسيق: Printed Book
اللغة:English
منشور في: Cambridge, UK ; New York : Cambridge University Press, c2008.
الموضوعات:
Lambda calculus.
Combinatory logic.

مواد مشابهة

مواد مشابهة