Proofs and Types
简介：
处理在类型lambda演算上的逻辑方面 (即命题和类型之间的对应关系) 在计算机科学中的应用的数学背景。既考虑了传统的逻辑材料，又考虑了其在计算机科学中的应用前景。
英文简介：
Deals with the mathematical background of the application to computer science of aspects of logic on typed lambda calculus (namely the correspondence between propositions and types). Treats both the traditional logic material, and its prospective application to computer science.
- 书名
- Proofs and Types
- 译名
- 证明和类型
- 语言
- 英语
- 年份
- 1987
- 页数
- 183页
- 大小
- 924.95 kB
- 下载
Proofs and Types.pdf- 密码
- 65536
最后更新：2025-04-12 23:57:36
←Programming in Martin-Lof's Type Theory: An Introduction
→Functional Programming in Scheme: With Web Programming Examples