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 |
There are no comments for this item.