Kentaro Kikuchi: "A Direct Proof of Strong Normalization for an Extended Herbelin's Calculus"Proceedings of 7th International Symposium on Functional and Logic Programming. (発表予定).
Kentaro Kikuchi: "A Direct Proof of Strong Normalization for an Extended Herbelin's Calculus"Proceedings of 7th International Symposium on Functional and Logic Programming. (発表予定).
复制标题
Kentaro Kikuchi：“扩展 Herbelin 微积分的强规范化的直接证明”第七届函数和逻辑编程国际研讨会论文集（待发表）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
