Typed lambda-calculi with explicit substitutions may not terminate
Typed lambda-calculi with explicit substitutions may not terminate
复制标题
具有显式替换的类型化 lambda 演算可能不会终止
DOI：
--
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
Paul
中科院分区：
文献类型：
--
作者：
Paul
我们提出了一个简单的典型λ任期，其在λσ-Calculus中的计算并不总是终止。
We present a simply typed λ-term whose computation in the λσ-calculus does not always terminate.