Foundational text on type theory and programming language design, covering lambda calculus, type systems, subtyping and polymorphism. A classic in PL theory. Good condition. Pickup in Zürich only.