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

这个页面上的诸多不完满之处, 都可以用句法和语义之间的gap来解释.

编程语言的邀请: 程序集	SMathML
Brzozowski导数	Linear Algebra (Hoffman & Kunze)
EoPL3笔记	Proofs and Types第一章翻译
一些程序	程序设计的邀请
指称语义学讲义翻译	Curry-Howard同构讲义翻译
语义工程和PLT Redex	计算机科学考古
可计算性和计算复杂度	Miscellaneous Notes
证明与类型	绘制数学图形
计算机辅助设计的几何编程	Topos: 逻辑的范畴分析
Abel定理	数学家学法语
分析笔记	函数式编程的论域论基础
结构证明论	友情链接
Geometric Algebra (E. Artin) 翻译	线性代数笔记
范畴论笔记	组合学笔记
抽象Stone对偶笔记	范畴论作业
CMU 15-122	同伦类型论
一些没用的笔记	格论笔记