Model-Checking Higher-Order Functions
Model-Checking Higher-Order Functions
复制标题
模型检查高阶函数
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Naoki Kobayashi
中科院分区：
文献类型：
--
作者：
Naoki Kobayashi;C.-H. Luke Ong;Naoki Kobayashi
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)
影响因子：
--
作者：
Naoki Kobayashi;Types and Higher-Order
通讯作者：
Types and Higher-Order
主要类型方案和 lambda 演算语义
DOI：
--
发表时间：
1980
期刊：
影响因子：
--
作者：
M. Coppo;M. Dezani;B. Venneri
通讯作者：
B. Venneri
可折叠下推自动机和递归方案
DOI：
10.1145/3091122
发表时间：
2008
期刊：
2008 23rd Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
M. Hague;A. Murawski;C. Ong;O. Serre
通讯作者：
O. Serre
DOI：
10.1109/lics.2009.29
发表时间：
2009-08
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
N. Kobayashi;C. Ong
通讯作者：
N. Kobayashi;C. Ong
DOI：
10.1007/3-540-45413-6_21
发表时间：
2001
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Teodor Knapik;D. Niwinski;P. Urzyczyn
通讯作者：
P. Urzyczyn