| | | 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
| | | |
| | | |
|