Study note
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Properties
- Type
- Books
- Status
- 想读
- Domain
- Compilers / PL
- Category
- 类型系统、形式化与定理证明
- Source
- book.douban.com
- Vault note
library/books/compilers/Categorical-Logic-and-Type-Theory-(Studies-in-Logic-and-the-Foundations-of-Mathe-217b77e6ffe82cd5.md
Summary
从范畴视角系统呈现逻辑和类型论，以 fibred category 作为统一概念，面向逻辑学、类型论、范畴论和理论计算机科学读者。
Highlights
适合把类型论、逻辑和范畴语义放进同一个抽象框架中理解，是偏研究型的理论读物。
Notes
B. Jacobs；2001-05-10。
Comments
Loading comments...