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 |