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.
Shipping:
FREE
Within U.S.A.
Seller: BooksRun, Philadelphia, PA, U.S.A.
Hardcover. Condition: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0201416670-11-1
Quantity: 1 available
Seller: HPB-Red, Dallas, TX, U.S.A.
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
Seller: Ammareal, Morangis, France
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
Seller: dsmbooks, Liverpool, United Kingdom
hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0201416670-2
Quantity: 1 available