Image from Amazon.com
Lambda-calculus and combinators : an introduction / J. Roger Hindley and Jonathan P. Seldin
Material type:
TextLanguage: ENG Publication details: NY Cambridge University 2008Description: 345 pISBN: - 9780521898850
- 511.35 HIN-J
| Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Books
|
BITS Pilani Hyderabad | 510 | General Stack (For lending) | 511.35 HIN-J (Browse shelf(Opens below)) | Available | 6458 |
Total holds: 0
Browsing BITS Pilani Hyderabad shelves, Shelving location: General Stack (For lending), Collection: 510 Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.35 GOD-W Introducing the theory of computation / | 511.35 GOD-W Introducing the theory of computation / | 511.35 GOO-R Recursive analysis / | 511.35 HIN-J Lambda-calculus and combinators : an introduction / | 511.35 KOH-Z Switching and finite automata theory / | 511.352 ARO-S Computational complexity : | 511.352 ARO-S Computational complexity : |
There are no comments on this title.
Log in to your account to post a comment.