部分应用理论与显式替换

托马斯·斯特拉姆.部分适用理论与显式替换.逻辑与计算杂志, 6(1):55-77,1996

摘要

缺少摘要。