Lambda-calculus and combinators : an introduction / by J. Roger Hindley.
Material type: TextPublication details: Cambridge ; New York : Cambridge University Press, 2008.Description: xi, 345 p. : illISBN:- 9780521898850
- 511.35 22 HIN/L
Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Technical Reference Book | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 511.35 HIN/L (Browse shelf(Opens below)) | Available | 7402 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
511.3 TAR/I Introduction to Logic and to the Methodology of Deductive Sciences / | 511.322 ZAK/R Rotation sets and complex dynamics / | 511.32209 FER/L Labyrinth of thought | 511.35 HIN/L Lambda-calculus and combinators : | 511.35 KOH/S Switching and finite automata theory / | 511.35 SCH/C Cellular automata : | 511.35 SCH/C Cellular automata : |
Include Index
There are no comments on this title.