Image from Amazon.com
Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin.
Material type:
TextPublication details: Cambridge, UK ; New York : Cambridge University Press, c2008.Description: xi, 345 p. : illISBN: - 9780521898850 (hardback)
- 0521898854 (hardback)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Department of Mathematics | 517.2:519.1 HIN (Browse shelf(Opens below)) | 1 | Available | MAT07931 |
Browsing Department of Mathematics shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available |
|
|
|
|
||
| 517.22:519.216 HAY Derivation and Martingales | 51-72:514 TAL Geometric mechanics / | 51-72:514 TAL Geometric mechanics : | 517.2:519.1 HIN Lambda-calculus and combinators, an introduction / | 51-72:530.145 BAL Quantum mechanics : | 51-72:530.145 BAZ Graphical methods of spin algebras in atomic, nuclear, and particle physics | 51-72:530.145 BOH Quantum mechanics : |
There are no comments on this title.