負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論
負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論
复制标题
一种负分型线性可逆编程语言及其基于并行计算的语义
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
松田 一孝
中科院分区：
文献类型：
--
作者：
八木 颯;松田 一孝
