Lambda-calculus and combinators, an introduction /
Material type: TextPublication details: Cambridge, UK ; New York : Cambridge University Press, c2008Description: xi, 345 p. : illISBN: 9780521898850 (hardback); 0521898854 (hardback)Subject(s): Lambda calculus | Combinatory logicDDC classification: 511.3 5Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
BK | Kannur University Central Library Stack | Stack | 511.3 5 HIN/L (Browse shelf (Opens below)) | Available | 31356 |
Browsing Kannur University Central Library shelves, Shelving location: Stack, Collection: Stack Close shelf browser (Hides shelf browser)
511.1 LOU/D Discrete mathematics: elementary and beyond / | 511.1 LOU/D Discrete mathematics: elementary and beyond / | 511.1 ROS/D Discrete mathematics | 511.3 5 HIN/L Lambda-calculus and combinators, an introduction / | 511.3 APP Appalachian set theory : 2006-2012 | 511.3 CHI/M Mathematical logic | 511.3 GHO/I introduction to theory of automata, formal languages and computation |
There are no comments on this title.