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 |
| विषय: | |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
टिप्पणी देने वाले पहले व्यक्ति बनें!