Items related to Type Theory and Functional Programming (International...

Type Theory and Functional Programming (International Computer Science Series) - Hardcover

  • 4.33 out of 5 stars
    15 ratings by Goodreads
 
Image Not Available

Synopsis

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

"synopsis" may belong to another edition of this title.

  • PublisherAddison-Wesley
  • Publication date1991
  • ISBN 10 0201416670
  • ISBN 13 9780201416671
  • BindingHardcover
  • LanguageEnglish
  • Number of pages388
  • Rating
    • 4.33 out of 5 stars
      15 ratings by Goodreads

Buy Used

Condition: Good
Ship within 24hrs. Satisfaction... View this item

Shipping: FREE
Within U.S.A.

Destination, rates & speeds

Add to basket

Search results for Type Theory and Functional Programming (International...

Stock Image

Thompson, Simon
Published by Addison-Wesley (edition ), 1991
ISBN 10: 0201416670 ISBN 13: 9780201416671
Used Hardcover

Seller: BooksRun, Philadelphia, PA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0201416670-11-1

Contact seller

Buy Used

US$ 141.70
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thompson, Simon
Published by Addison-Wesley, 1991
ISBN 10: 0201416670 ISBN 13: 9780201416671
Used Hardcover

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_425364968

Contact seller

Buy Used

US$ 140.97
Convert currency
Shipping: US$ 3.75
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thompson
Published by Addison Wesley, 1991
ISBN 10: 0201416670 ISBN 13: 9780201416671
Used Hardcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-122-190

Contact seller

Buy Used

US$ 155.26
Convert currency
Shipping: US$ 9.01
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thompson, Simon
Published by Addison-Wesley, 1991
ISBN 10: 0201416670 ISBN 13: 9780201416671
Used Hardcover

Seller: dsmbooks, Liverpool, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0201416670-2

Contact seller

Buy Used

US$ 314.22
Convert currency
Shipping: US$ 32.48
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket