Transitions and Trees
| المؤلف الرئيسي: | Hans Hüttel |
|---|---|
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | English |
| منشور في: |
Cambridge University Press,
08/05/2012
|
| الطبعة: | 1 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Full text available on Cambridge University Press Off-campus access |
مواد مشابهة
-
Nominal Sets
بواسطة: Andrew M. Pitts
منشور في: (2013) -
Practical Foundations for Programming Languages
بواسطة: Robert Harper
منشور في: (2013) -
Pearls of Functional Algorithm Design
بواسطة: Richard Bird
منشور في: (2013) -
Programming with Higher-Order Logic
بواسطة: Dale Miller, Gopalan Nadathur
منشور في: (2012) -
An Introduction to Category Theory
بواسطة: Harold Simmons
منشور في: (2012)