Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
复制标题
具有归纳和共归纳类型的按值调用和按名称调用双重演算
DOI：
10.2168/lmcs-9
复制
发表时间：
2013
影响因子：
0.6
通讯作者：
Daisuke Kimura and Makoto Tatsuta
中科院分区：
文献类型：
--
作者：
Jiyi Li;Qiang Ma;Yasuhito Asano;Masatoshi Yoshikawa;Daisuke Kimura and Makoto Tatsuta
