分享给好友:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
The Structure of Typed Programming Languages - Foundations of Computing
David A. Schmidt
The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.
383 pages
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1994年3月1日 |
| ISBN13 | 9780262691710 |
| 出版商 | MIT Press Ltd |
| 页数 | 383 |
| 商品尺寸 | 175 × 226 × 23 mm · 680 g |
| 丛书主编 | Garey, Michael R. |
| 丛书主编 | Meyer, Albert |
