Research Catalog
Basic simple type theory
- Title
- Basic simple type theory / J. Roger Hindley.
- Author
- Hindley, J. Roger.
- Publication
- Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 99-732 | Offsite |
Details
- Description
- xi, 186 p. : ill.; 24 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 42
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 169-176) and index.
- Call Number
- JSE 99-732
- ISBN
- 0521465184
- LCCN
- 95009058
- OCLC
- 32429278
- Author
- Hindley, J. Roger.
- Title
- Basic simple type theory / J. Roger Hindley.
- Imprint
- Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1997.
- Series
- Cambridge tracts in theoretical computer science ; 42
- Bibliography
- Includes bibliographical references (p. 169-176) and index.
- Research Call Number
- JSE 99-732