Have one to sell? Sell yours here
Sorry, this item is not available in
Image not available for
Colour:
Image not available

 
Tell the Publisher!
Id like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

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

Thompson


Available from these sellers.



Book Description

4 Jun 1991 0201416670 978-0201416671 1
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.

Product details


More About the Author

Discover books, learn about writers, and more.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Reviews

There are no customer reviews yet on Amazon.co.uk.
5 star
4 star
3 star
2 star
1 star
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com: 5.0 out of 5 stars  1 review
1 of 1 people found the following review helpful
5.0 out of 5 stars The best available book on dependent types 8 Mar 2014
By Konstantin Solomatov - Published on Amazon.com
Format:Hardcover|Verified Purchase
Despite its old age, this is the best available book on dependent types. It has its drawbacks, there are a lot of areas which aren't covered well. However, it's way better than any tutorials on dependent types you can find on internet.

If you want to really understand how systems like Coq and Agda work, you have to read this book.
Was this review helpful?   Let us know

Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

Search Customer Discussions
Search all Amazon discussions
   


Look for similar items by category


Feedback