愚者 RSS 网站介绍 有趣的链接 书籍推荐 胡言乱语

吾生也有涯, 而知也无涯. 以有涯随无涯, 殆已.

编程语言的邀请: 程序集	SMathML
Brzozowski导数	Linear Algebra (Hoffman & Kunze)
EoPL3笔记	Proofs and Types第一章翻译
一些程序	程序设计的邀请
Curry-Howard同构讲义翻译	语义工程和PLT Redex
Miscellaneous Notes	灵活软件设计
证明与类型	绘制数学图形
计算机辅助设计的几何编程	Topos: 逻辑的范畴分析
Abel定理	数学家学法语
线性逻辑: 其句法和语义	CMU 15-122
格与序导论	格论 (Birkhoff)
λ演算: 其句法和语义	OPLSS
可计算性和计算复杂度	函数式编程的论域论基础
结构证明论	友情链接
SICM笔记	Geometric Algebra (E. Artin) 翻译
函数式微分几何	归纳定义
元对象协议艺术	数据结构和算法
Lem编辑器使用笔记	部分求值
分析笔记	线性代数笔记
计算机科学考古	范畴论笔记
拓扑学 (Munkres) 笔记	组合学笔记
抽象Stone对偶笔记