Abstract
Corrado Bohm once observed that if Y is any fixed point combinator (fpc), then Y (lambda yx.x(yx)) is again fpc. He thus discovered the first "fpc gen......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
