Semantics of linear continuation-passing in call-by-name
Semantics of linear continuation-passing in call-by-name
复制标题
按名称调用中线性连续传递的语义
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
M.Hasegawa
中科院分区：
文献类型：
--
作者：
M.Hasegawa
登录
查看更多内容
按名称调用递归和按值调用迭代之间的对偶性
影响因子：
--
作者：
Yoshihiko Kakutani
通讯作者：
Yoshihiko Kakutani
DOI：
10.1007/bfb0022251
发表时间：
1995-01-01
期刊：
COMPUTER SCIENCE LOGIC
影响因子：
--
作者：
Benton, PN
通讯作者：
Benton, PN
控制类别和对偶性：关于 lambda-mu 演算的分类语义
影响因子：
0.5
作者：
P. Selinger
通讯作者：
P. Selinger
! 和 ? – 存储为张量强度
影响因子：
0.5
作者：
R. Blute;J. Cockett;R. Seely
通讯作者：
R. Seely
DOI：
10.1145/944705.944722
发表时间：
2003
期刊：
J. Comput. Syst. Sci.
影响因子：
--
作者：
Yukiyoshi Kameyama;Masahito Hasegawa
通讯作者：
Masahito Hasegawa