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
Pub Date
Pub Date: Reverse
Sellers Near Me
Trade paperback,
New
1994, Mit Press
ISBN-13:
9780262691710
See Item Details ▾
Just one more Chapter
HIGH
Miramar,
FL,
USA
£82.46
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. £82.46, 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: £3.99
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 ▾
GridFreed
BEST
North Las Vegas,
NV,
USA
£108.03
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. £108.03, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1994 by The MIT Press.
Edition: 1994, MIT Press (MA)
Hardcover,
New
Details: ISBN:
0262193493
ISBN-13:
9780262193498
Pages:
367
Publisher:
MIT Press (MA)
Published:
03/1994
Language:
English
Alibris ID:
16624086422
Shipping Options: Standard Shipping: £3.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Size: 110x14x142; New. In shrink wrap. Looks like an interesting title!
Hide Details ▴
Hardcover,
New
1994, MIT Press (MA)
ISBN-13:
9780262193498
See Item Details ▾
Just one more Chapter
HIGH
Miramar,
FL,
USA
£108.46
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. £108.46, 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:
18627987334
Shipping Options: Standard Shipping: £3.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
ISBN-13: 9780262193498
Hardcover
ISBN-13: 9780262691710
Trade paperback
All Editions of The Structure of Typed Programming Languages
