混沌空间

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

操作语义的结构方法	指称语义学
灵活软件设计	证明与类型
语义工程和PLT Redex	古典力学的结构和解释
构建问题解决器	函数式微分几何
乌龟几何	数据结构和算法
句法闭包	Topos: 逻辑的范畴分析
Scheme的三种实现模型	归纳定义
元对象协议艺术	无穷级数的理论和应用
Abel定理	微积分 (Apostol)
Standard ML的历史	卫生宏技术
胡言乱语	数学家学法语
理解Maxima	把东西粘在一起
分析一 (Amann & Escher)	计算机辅助设计的几何编程
线性逻辑: 其句法和语义	CMU 15-122
Core War介绍	线性代数问题书
格与序导论	格论 (Birkhoff)
λ演算: 其句法和语义	无穷小演算
OPLSS	可计算性和计算复杂度
部分求值	函数式编程的论域论基础