Image from Amazon.com
Basic simple type theory / J. Roger Hindley
Material type:
TextSeries: Cambridge tracts in theoretical computer sciencePublication details: New York : Cambridge University Press, 1997Description: xi, 186 p. : ill. ; 24 cmISBN: - 9780521054225
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.7 .H56 1997 (Browse shelf(Opens below)) | 1 | Available | 0000085005 |
Includes bibliographical references and index