The Structure of Typed Programming Languages - Foundations of Computing - David A. Schmidt - Books - MIT Press Ltd - 9780262691710 - March 1, 1994
In case cover and title do not match, the title is correct

David A. Schmidt
The Structure of Typed Programming Languages - Foundations of Computing

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

383 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 1, 1994
ISBN13 9780262691710
Publishers MIT Press Ltd
Pages 383
Dimensions 175 × 226 × 23 mm   ·   680 g
Series Editor Garey, Michael R.
Series Editor Meyer, Albert

More by David A. Schmidt

Show all

Mere med samme udgiver

See all of David A. Schmidt ( e.g. Paperback Book )