The Structure of Typed Programming Languages (Foundations of Computing)

Author(s)

The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.

Keywords
, ,
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