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,
New
1994, MIT Press (MA)
ISBN-13:
9780262193498
See Item Details ▾
GridFreed
BEST
North Las Vegas,
NV,
USA
£106.41
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. £106.41, 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,
Good
1994, MIT Press (MA)
ISBN-13:
9780262193498
See Item Details ▾
Bonita
HIGH
Santa Clarita,
CA,
USA
£49.40
£65.49
Add to Basket
Add this copy of The Structure of Typed Programming Languages to cart. £49.40, 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:
17687467689
Shipping Options:
Standard Shipping: £3.99
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 ▴
1994,
MIT Press (MA), Cambridge, MA
ISBN-13: 9780262193498
Hardcover