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