An Isomorphism between Cut-Elimination Procedure and Proof Reduction
An Isomorphism between Cut-Elimination Procedure and Proof Reduction
复制标题
割消除过程与证明约简的同构
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Koji Nakazawa
中科院分区：
文献类型：
--
作者：
K. Nakazawa;M. Tatsuta;Y. Kameyama;and H. Nakano;Koji Nakazawa and Makoto Tatsuta;Koji Nakazawa
登录
查看更多内容
扩展 Herbelin 微积分强归一化的直接证明
DOI：
--
发表时间：
2004
期刊：
Lecture Notes in Computer Science Vol.2998
影响因子：
--
作者：
Kentaro Kikuchi
通讯作者：
Kentaro Kikuchi
DOI：
--
发表时间：
2006
期刊：
Lecture Notes in Computer Science Vol. 4246
影响因子：
--
作者：
Muraoka N;Shum L;Fukumoto S;Nomura T;Ohishi M;Nonaka K.;Kentaro Kikuchi
通讯作者：
Kentaro Kikuchi
具有一般淘汰规则的自然演绎
影响因子：
0.3
作者：
J. Plato
通讯作者：
J. Plato
简单类型 λ 演算、置换转换和哥德尔 T 归一化的简短证明
影响因子：
0.3
作者：
Felix Joachimski;R. Matthes
通讯作者：
R. Matthes
DOI：
10.1016/0003-4843(74)90010-2
发表时间：
1974
期刊：
Annals of Mathematical Logic
影响因子：
--
作者：
J. Zucker
通讯作者：
J. Zucker