Direct Proof of Strong Normalization for an Extended Herbelin's Calculus
Direct Proof of Strong Normalization for an Extended Herbelin's Calculus
复制标题
扩展 Herbelin 微积分强归一化的直接证明
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Kentaro Kikuchi
中科院分区：
文献类型：
--
作者：
Kentaro Kikuchi
登录
查看更多内容
具有显式替换的类型化 lambda 演算可能不会终止
DOI：
--
发表时间：
1995
期刊：
International Conference on Typed Lambda Calculus and Applications
影响因子：
--
作者：
Paul
通讯作者：
Paul
具有显式替换的命名 lambda 演算中的永续性
影响因子：
0.5
作者：
E. Bonelli
通讯作者：
E. Bonelli
Herbelin 显式替代演算与替代传播的强归一化
DOI：
10.1093/logcom/13.5.689
发表时间：
2003
期刊：
J. Log. Comput.
影响因子：
--
作者：
R. Dyckhoff;Christian Urban
通讯作者：
Christian Urban
简单类型 λ 演算、置换转换和哥德尔 T 归一化的简短证明
影响因子：
0.3
作者：
Felix Joachimski;R. Matthes
通讯作者：
R. Matthes
影响因子：
0.5
作者：
Daniel J. Dougherty;P. Lescanne
通讯作者：
P. Lescanne