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

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

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.

Thể loại:

Mathematics

Năm:

1991

Nhà xuát bản:

Addison-Wesley

Ngôn ngữ:

english

Trang:

388

ISBN 10:

0201416670