| | | Document Type | : | BL | | Record Number | : | 105525 | | Doc. No | : | b63073 | | Main Entry | : | Girard, Jean-Yves. | | Title & Author | : | Proofs and types /Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont. | | Publication Statement | : | Cambridge [England] ;New York :Cambridge University Press,1989. | | Series Statement | : | Cambridge tracts in theoretical computer science ; | | Page. NO | : | xi, 176 p. :ill. ;26 cm. | | ISBN | : | 0521371813 | | Bibliographies/Indexes | : | Includes bibliographical references and index. | | Subject | : | Lambda calculus. | | Dewey Classification | : | 511.3 | | LC Classification | : | QA9.5.G57 1989 |
| | | | | |
| | |  |
http://lib.clisel.com/site/catalogue/105525
| | | |
| | | |
|