| Shelfclass_id | 3.F.2 |
| Sortkey | HINDLEY, J. ROGER |
| Authors | J. Roger Hindley |
| Title | Basic Simple Type Theory |
| Publisher | Cambridge University Press |
| Year | 1997 |
| Languages | eng |
| Isbn | 0521465184 |
| Series | Cambridge tracts in theoretical computer science |
| Volume | 42 |
| Description | xi, 186 p. ill. 24 cm |
| Record date | 20060630 |
| Location | New York, NY, USA |
| Keywords | Programming languages (Electronic computers), Type theory |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/cam027/95009058.html |