The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.
Read More
The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Hardcover,
Good
1994, MIT Press (MA)
ISBN-13:
9780262193498
See Item Details ▾
Bonita
HIGH
Santa Clarita,
CA,
USA
$83.16
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. $83.16, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Mit Pr.
Edition: 1994, MIT Press (MA)
Hardcover,
Good
Details: ISBN:
0262193493
ISBN-13:
9780262193498
Pages:
367
Publisher:
MIT Press (MA)
Published:
1994
Language:
English
Alibris ID:
18828236170
Shipping Options: Standard Shipping: $4.82
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Trade paperback,
New
1994, Mit Press
ISBN-13:
9780262691710
See Item Details ▾
Just one more Chapter
HIGH
Miramar,
FL,
USA
$108.08
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. $108.08, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1994 by MIT Press.
Edition: 1994, Mit Press
Trade paperback,
New
Details: ISBN:
026269171X
ISBN-13:
9780262691710
Pages:
383
Publisher:
Mit Press
Published:
1994
Language:
English
Alibris ID:
18632035734
Shipping Options: Standard Shipping: $4.82
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
Hardcover,
New
1994, MIT Press (MA)
ISBN-13:
9780262193498
See Item Details ▾
Just one more Chapter
HIGH
Miramar,
FL,
USA
$122.00
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. $122.00, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1994 by Mit Pr.
Edition: 1994, MIT Press (MA)
Hardcover,
New
Details: ISBN:
0262193493
ISBN-13:
9780262193498
Pages:
367
Publisher:
MIT Press (MA)
Published:
1994
Language:
English
Alibris ID:
18828323764
Shipping Options: Standard Shipping: $4.82
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
ISBN-13: 9780262691710
Trade paperback
ISBN-13: 9780262193498
Hardcover
All Editions of The Structure of Typed Programming Languages
