Nominal Sets
| Κύριος συγγραφέας: | Andrew M. Pitts |
|---|---|
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge University Press,
07/05/2013
|
| Έκδοση: | 1 |
| Σειρά: | Cambridge Tracts in Theoretical Computer Science
|
| Θέματα: | |
| Διαθέσιμο Online: | Full text available on Cambridge University Press Off-campus access |
Παρόμοια τεκμήρια
-
Practical Foundations for Programming Languages
ανά: Robert Harper
Έκδοση: (2013) -
Pearls of Functional Algorithm Design
ανά: Richard Bird
Έκδοση: (2013) -
Transitions and Trees
ανά: Hans Hüttel
Έκδοση: (2012) -
Programming with Higher-Order Logic
ανά: Dale Miller, Gopalan Nadathur
Έκδοση: (2012) -
An Introduction to Category Theory
ανά: Harold Simmons
Έκδοση: (2012)