Nominal Sets
| 1. autor: | Andrew M. Pitts |
|---|---|
| Format: | Elektroniczne E-book |
| Język: | English |
| Wydane: |
Cambridge University Press,
07/05/2013
|
| Wydanie: | 1 |
| Seria: | Cambridge Tracts in Theoretical Computer Science
|
| Hasła przedmiotowe: | |
| Dostęp online: | Full text available on Cambridge University Press Off-campus access |
Podobne zapisy
-
Practical Foundations for Programming Languages
od: Robert Harper
Wydane: (2013) -
Pearls of Functional Algorithm Design
od: Richard Bird
Wydane: (2013) -
Transitions and Trees
od: Hans Hüttel
Wydane: (2012) -
Programming with Higher-Order Logic
od: Dale Miller, Gopalan Nadathur
Wydane: (2012) -
An Introduction to Category Theory
od: Harold Simmons
Wydane: (2012)