Abstract
Despite the fact that call-by-value lambda-calculus was defined by Plotkin in 1977, we believe that its theory of program approximation is still at th......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
