Abstract
We present a technique for compiling lambda-calculus expressions into SKI combinators. Unlike the well-known bracket abstraction based on (syntactic) ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
