Tags
1 page
LCaC
The Construction of the Iteration Combinator - LCaC § 4C, Theorem 4.20