Lambda calculus with types
By: Barendregt, H.
Material type: BookPublisher: Cambridge Cambridge University Press 2013Description: xiii, 833p.ISBN: 978-0-521-76614-2.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.35 BAR (Browse shelf) | Available | 511129 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
511.34 TEN A Course in model theory | 511.35 AMA Domains and Lambda-Calculi | 511.35 AND Automata Theory with Modern Applications | 511.35 BAR Lambda calculus with types | 511.35 BER Noncommutative rational series with applications | 511.35 CEC Cellular Automata and Groups | 511.35 CHU A nonlinear dynamics perspective of Wolfram's new kind of science vol. 1 |
There are no comments for this item.