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