Conte aos seus amigos sobre este item:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de David A. Schmidt
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 1 de março de 1994 |
| ISBN13 | 9780262691710 |
| Editoras | MIT Press Ltd |
| Páginas | 383 |
| Dimensões | 175 × 226 × 23 mm · 680 g |
| Editor de séries | Garey, Michael R. |
| Editor de séries | Meyer, Albert |
