Abstract computing machines : a lambda calculus perspective
By: Kluge, Werner.
Material type:
BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer, 2005Description: xiv, 384 p.; ill.: 24 cm.ISBN: 9783540211464 .Subject(s): Lambda calculus | Machine theoryDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 KLU (Browse shelf) | Available | 013471 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 KEL Essence of Logic | 511.3 KEL Essence of Logic | 511.3 KLE Mathematical logic | 511.3 KLU Abstract computing machines : a lambda calculus perspective | 511.3 KOZ Automata and computability | 511.3 LAK Proofs and refutations: The logic of mathematical discovery | 511.3 LAS Logic and complexity |
There are no comments for this item.