| | Document Type | : | BL | Record Number | : | 105709 | Doc. No | : | b63258 | Main Entry | : | Hindley, J. Roger. | Title & Author | : | Basic simple type theory /J. Roger Hindley. | Publication Statement | : | Cambridge, U.K. ;New York, NY, USA :Cambridge University Press,1997. | Series Statement | : | Cambridge tracts in theoretical computer science ; | Page. NO | : | xi, 186 p. :ill. ;24 cm. | ISBN | : | 0521465184 | Bibliographies/Indexes | : | Includes bibliographical references (p. 169-176) and index. | Subject | : | Programming languages (Electronic computers) | Subject | : | Type theory. | Dewey Classification | : | 005.13 | LC Classification | : | QA76.7.H55 1997 |
| | | | | |
| | |  |
http://lib.clisel.com/site/catalogue/105709
| | |
| | |  |
|