Vertel uw vrienden over dit artikel:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Heb je een profiel? Inloggen
Ontvang meldingen over nieuwe releases van David A. Schmidt
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 1 maart 1994 |
| ISBN13 | 9780262691710 |
| Uitgevers | MIT Press Ltd |
| Pagina's | 383 |
| Afmetingen | 175 × 226 × 23 mm · 680 g |
| Serie-editor | Garey, Michael R. |
| Serie-editor | Meyer, Albert |
