亀山 幸義: "型付けされたプログラム言語と停止性" 京都大学大学院工学研究科情報工学専攻、情報工学研究談話会. 第156回. 1-13 (1996)
亀山 幸義: "型付けされたプログラム言語と停止性" 京都大学大学院工学研究科情報工学専攻、情報工学研究談話会. 第156回. 1-13 (1996)
复制标题
Yukiyoshi Kameyama：《类型化编程语言和终止》京都大学大学院工学研究科信息工程研究讨论会第156期（1996年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
