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
Search results for Type Theory and Functional Programming (International...
Stock Image
Type Theory and Functional Programming (International Computer Science Series)
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
Hardcover. Condition: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0201416670-11-1
Quantity: 1 available
Stock Image
Type Theory and Functional Programming (International Computer Science Series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
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
Quantity: 1 available
Stock Image
Constructive Type Theory and Functional Programming
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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
Quantity: 1 available
Stock Image
Type Theory and Functional Programming (International Computer Science Series)
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0201416670-2
Quantity: 1 available