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 |
There are no comments on this title.