愚者 RSS

我的兴趣是可复合性 (抽象和组合) 所适用的领域, 例如编程语言和逻辑学.

编程语言的邀请: 程序集

Proofs and Types第一章翻译

一些程序

SMathML论文 (draft)

SMathML参考

Brzozowski导数

SICM笔记

程序设计的邀请

Linear Algebra (Hoffman & Kunze) 翻译

Linear Algebra (Hoffman & Kunze) 习题作答

EoPL3笔记

Geometric Algebra (E. Artin) 翻译

Lem编辑器使用笔记

LearningZIL笔记

Lectures on the Curry-Howard Isomorphism翻译

The Ship of Theseus

Miscellaneous Notes

Computation Structures笔记

书籍推荐

混沌空间

友情链接

修改日期 (北京时间): 2024/2/29 星期四 15:16:43