Confluence Results for the Pure Strong Categorical Logic CCL: lambda-Calculi as Subsystems of CCL
Confluence Results for the Pure Strong Categorical Logic CCL: lambda-Calculi as Subsystems of CCL
复制标题
纯强分类逻辑 CCL 的汇合结果：作为 CCL 子系统的 lambda 演算
DOI：
--
复制
发表时间：
1989
影响因子：
1.1
通讯作者：
T. Hardin
中科院分区：
文献类型：
--
作者：
T. Hardin
