Lectures on the Curry-Howard isomorphism.
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Amsterdam, The Netherlands; Boston, USA:
Elsevier,
2006.
|
| الطبعة: | First edition. |
| سلاسل: | Studies in logic and the foundations of mathematics,
vol. 149 |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
كن أول من يترك تعليقا!