Compositional Z: Confluence Proofs for Permutative Conversion
Compositional Z: Confluence Proofs for Permutative Conversion
复制标题
组合 Z：置换转换的汇合证明
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Ken-etsu Fujita
中科院分区：
文献类型：
--
作者：
Koji Nakazawa;Ken-etsu Fujita
登录
查看更多内容
置换 lambda 演算
DOI：
--
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Beniamino Accattoli;D. Kesner
通讯作者：
D. Kesner
置换 λ 演算
DOI：
10.1007/978-3-642-28717-6_5
发表时间：
2012
期刊：
影响因子：
--
作者：
Mai Oshio;Takuma Fujii;T. Kusaura;K. Nagahama
通讯作者：
K. Nagahama
无类型 lambda/mu 微积分的并行归约
DOI：
10.1016/s1571-0661(04)80878-8
发表时间：
2000
期刊：
Zeitschrift für anorganische und allgemeine Chemie
影响因子：
--
作者：
K. Baba;馬場 謙介;S. Hirokawa;廣川 佐千男;Ken;藤田 憲悦
通讯作者：
藤田 憲悦
完全一阶经典自然演绎的简单归约的 Church-Rosser 性质
DOI：
10.1016/s0168-0072(02)00051-9
发表时间：
2003
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Y. Andou
通讯作者：
Y. Andou
经典逻辑中的直呼名字减少和剪切消除
DOI：
--
发表时间：
2006
期刊：
Proceedings of the 1st International Workshop on Classical Logic and Computation
影响因子：
--
作者：
Muraoka N;Shum L;Fukumoto S;Nomura T;Ohishi M;Nonaka K.;Kentaro Kikuchi;Kentaro Kikuchi
通讯作者：
Kentaro Kikuchi