Search the Library Catalogue
Lambda-calculus and combinators, an introduction J. Roger Hindley, Jonathan P. Seldin
Publication details: Cambridge Cambridge University Press c2008Description: xi, 345 p. : ill. ; 24 cmISBN:- 9780521898850
- 2008006276
- 511.35 HIN
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 511.35 HIN (Browse shelf(Opens below)) | Available | 196048 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| 511.35 GAS Bounded queries in recursion theory | 511.35 GOD Introducing the theory of computation | 511.35 GOD Recursive analysis | 511.35 HIN Lambda-calculus and combinators, an introduction | 511.35 HOP Introduction to automata theory, languages, and computation | 511.35 KOH Switching and finite automata theory | 511.35 KOH Switching and finite automata theory |
Includes bibliographical references (p. 323-333) and index
There are no comments on this title.
Log in to your account to post a comment.