Type theory and functional programming
Type theory and functional programming
复制标题
类型理论和函数式编程
DOI：
--
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
S. Thompson
中科院分区：
文献类型：
--
作者：
S. Thompson
这本书探讨了马丁-洛夫的构造型理论在计算机程序设计中的作用。这本书的主要焦点是如何将理论成功地应用于实践。介绍部分提供必要的背景在逻辑，λ演算和建设性的数学，练习和章节总结包括加强理解。
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.