我写下这些笔记的目的, 主要是为了遗忘.
当前状态: 看Jean-Yves Girard的书, 但又看不太懂.
编程语言的邀请: 程序集 | SMathML |
Brzozowski导数 | Hoffman & Kunze |
程序设计的邀请 | 指称语义学讲义翻译 |
Curry-Howard同构讲义 | The Little Typer翻译 |
P423笔记 | The Zipper翻译 |
一些程序 | Proofs and Types第一章翻译 |
EoPL3笔记 | 一些没用的笔记 |
书籍推荐 | 有趣的链接 |
胡言乱语 | 友情链接 |
范畴论笔记 | 关于数组语言的随想 |