Vertel uw vrienden over dit artikel:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van David A. Schmidt
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
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 |
