Type Theory and Functional Programming

Main
Mathematics
Type Theory and Functional Programming

Type Theory and Functional Programming

Name: Type Theory and Functional Programming
ISBN: 9780201416671

Simon Thompson

5.0 / 5.0

0 comments

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

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.

سب زمرہ:

Mathematics

سال:

1991

ناشر کتب:

Addison-Wesley

زبان:

english

صفحات:

388

ISBN 10:

0201416670