Type Theory and Functional Programming (International Computer Science Series)
Description:
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.
Best prices to buy, sell, or rent ISBN 9780201416671
Frequently Asked Questions about Type Theory and Functional Programming (International Computer Science Series)
The price for the book starts from $147.84 on Amazon and is available from 3 sellers at the moment.
At BookScouter, the prices for the book start at $215.24. Feel free to explore the offers for the book in used or new condition from various booksellers, aggregated on our website.
If you’re interested in selling back the Type Theory and Functional Programming (International Computer Science Series) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Type Theory and Functional Programming (International Computer Science Series) book, the best buyback offer comes from and is $ for the book in good condition.
The Type Theory and Functional Programming (International Computer Science Series) book is in very low demand now as the rank for the book is 4,715,858 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
The highest price to sell back the Type Theory and Functional Programming (International Computer Science Series) book within the last three months was on October 26 and it was $4.10.