Fortell venner om denne varen:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Har du en profil? Logg inn
Få varsel om nye utgivelser fra David A. Schmidt
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 1. mars 1994 |
| ISBN13 | 9780262691710 |
| Utgivere | MIT Press Ltd |
| Antall sider | 383 |
| Mål | 175 × 226 × 23 mm · 680 g |
| Serieredaktør | Garey, Michael R. |
| Serieredaktør | Meyer, Albert |
