Lectures on the Curry-Howard isomorphism.

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Sørensen, Morten Heine (مؤلف), Urzyczyn, Paweł (مؤلف)
التنسيق:	كتاب
اللغة:	الإنجليزية
منشور في:	Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
الطبعة:	First edition.
سلاسل:	Studies in logic and the foundations of mathematics, vol. 149
الموضوعات:	Isomorfismo de Curry-Howard. Cálculo lambda
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الوصف
وصف المادة:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
وصف مادي:	xiv, 442 páginas.
بيبلوغرافيا:	Includes bibliographical references (p. 403-430) and index.
ردمك:	978-0-444-54596-1
تدمد:	0049-237X ;

مواد مشابهة