logo
Cancel

5774545

9780201416671

Type Theory and Functional Programming

Type Theory and Functional Programming

Out of Stock

The item you're looking for is currently unavailable.

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel

Product details

  • ISBN-13: 9780201416671
  • ISBN: 0201416670
  • Edition: 1
  • Publication Date: 1991
  • Publisher: Addison-Wesley Longman, Incorporated

AUTHOR

Thompson, Simon

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]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

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.