Lambda-calculus and combinators, an introduction
Material type:
TextPublication details: Cambridge University Press 2008 Description: 345Subject(s): Lambda calculus | Combinatory logic
| Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library | 004.0151135 HIN(LAM) (Browse shelf(Opens below)) | 1 | Available | 5973 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available | No cover image available |
|
|
|
||
| 004.0151134 FIN Finite model theory and its applications | 004.0151134 VAA(MOD) Models and Games | 004.0151135 DAV(DIS) Discrete, continuous, and hybrid Petri Nets | 004.0151135 HIN(LAM) Lambda-calculus and combinators, an introduction | 004.0151135 MOD Modern applications of automata theory | 004.0151135 POP(TIM) Time and petri nets | 004.01511352 ARO(COM) Computational complexity : a modern approach |
SAR/156/2008/19-03-09
There are no comments on this title.