関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化
関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化
复制标题
功能程序和计算系统的可破坏性验证：Toyama-Klop-Barendregt 定理的高阶
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
浜名誠
中科院分区：
文献类型：
--
作者：
藤岡 亮;浜名 誠;M. Hamana;浜名誠
