5774545
9780201416671
Type Theory and Functional Programming
by Thompson, Simon
122710
About this item
- Condition: Good
- Provider: BooksRun
- Provider Rating: 95%
- Ships From: Philadelphia, PA
- Shipping: Standard, Expedited
- Comments: Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
255735
About this item
- Condition: Good
- Provider: booksrun_rentals
- Provider Rating: 92%
- Ships From: Philadelphia, PA
- Shipping: Standard, Expedited
- Comments: Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Product details
- ISBN-13: 9780201416671
- ISBN: 0201416670
- Edition: 1
- Publication Date: 1991
- Publisher: Addison-Wesley Longman, Incorporated
AUTHOR
SUMMARY
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.Thompson, Simon is the author of 'Type Theory and Functional Programming', published 1991 under ISBN 9780201416671 and ISBN 0201416670.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
