Type Theory and Functional Programmingtxt,chm,pdf,epub,mobi下载 作者: Simon Thompson 出版社: Addison-Wesley 出版年: 1991-8 页数: 388 定价: USD 40.85 装帧: Hardcover ISBN: 9780201416671 内容简介 · · · · · ·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. |
很满意
特别喜欢作者
比较有兴趣
有深度