Tags
2 pages
Combinator Logic
基础的 Lambda 演算编程（feat. Y combinator）
迭代组合子的构造 - LCaC § 4C, Theorem 4.20