在「香蕉空间」有一份类型论的百科, 正在建设中: 模板: 类型论 - 香蕉空间
香蕉空间主要面向数学背景的读者, 因此写作风格会尽可能偏向数学, 因此也不会介绍过于简单的概念 (比如什么是范畴, 什么是拓扑空间等), 而不是计算机科学或者编程. 在此之上欢迎大家提出意见!
2 个赞
在「香蕉空间」有一份类型论的百科, 正在建设中: 模板: 类型论 - 香蕉空间
香蕉空间主要面向数学背景的读者, 因此写作风格会尽可能偏向数学, 因此也不会介绍过于简单的概念 (比如什么是范畴, 什么是拓扑空间等), 而不是计算机科学或者编程. 在此之上欢迎大家提出意见!