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
Include Index
There are no comments on this title.
Log in to your account to post a comment.