The Structure of Typed Programming Languages (Foundations of Computing)
Author(s)
David A. Schmidt
David A. Schmidt
The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.
Keywords
Computers &, the Internet, Programming Languages
Computers &, the Internet, Programming Languages
| Name in long format: | The Structure of Typed Programming Languages (Foundations of Computing) |
|---|---|
| ISBN-10: | 026269171X |
| ISBN-13: | 9780262691710 |
| Book pages: | 383 |
| Book language: | en |
| Edition: | Not For Sale in US/CANADA |
| Binding: | Paperback |
| Publisher: | The MIT Press |
| Dimensions: | Height: 8.93699 Inches, Length: 7.0866 Inches, Weight: 1.4991433816 Pounds, Width: 0.858266 Inches |
