逻辑、数学和编程中的类型 作者：Robert L. Constable 电子书下载

原名:Types in Logic, Mathematics and Programming by Robert L. Constable
作品简介:类似于数学类型理论甚至计算有效的集合论的系统。 （这一发展强调了高级编程是计算数学的一个方面的事实。）本文将主要关注数据类型和数学类型之间的关系。连接……