Tags
2 pages
Combinator Logic
Basic Lambda Calculus Programming (feat. Y combinator)
The Construction of the Iteration Combinator - LCaC § 4C, Theorem 4.20