Basic Simple Type Theory
By: Hindley, J. R.
Material type: BookSeries: Cambridge Tracts in Theoretical Computer Science no. 42.Publisher: Cambridge Cambridge University Press 1996Description: xi, 186p.ISBN: 978-0-521-46518-2.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.13 HIN (Browse shelf) | Available | 506262 |
There are no comments for this item.