再帰プログラムの意味論について
再帰プログラムの意味論について
复制标题
关于递归程序的语义
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
長谷川真人
中科院分区：
文献类型：
--
作者：
Asahiro;Yuichi;Akira Suzuki;Akira Suzuki;Akira Suzuki;Akira Suzuki;Jing Wang;Yoskinobu Tamura;田村慶信;Yoshinobu Tamura;田村慶信;田村慶信;田村 慶信;Yoshinobu Tamura;田村 慶信;田村 慶信;田村慶信;松島靖;田村慶信;Yoshinobu Tamura;長谷川真人
登录
查看更多内容
DOI：
--
发表时间：
1990
期刊：
Conference on Computer Logic
影响因子：
--
作者：
J. Girard
通讯作者：
J. Girard
DOI：
--
发表时间：
--
期刊：
In proceeding of LiCS 2011
影响因子：
--
作者：
Hasuo Ichiro;Naohiko Hoshino
通讯作者：
Naohiko Hoshino
综合几何四：将仿射递归编译成静态硬件
DOI：
10.1145/2034773.2034805
发表时间：
2011
期刊：
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
D. Ghica;Alex I. Smith;Satnam Singh
通讯作者：
Satnam Singh
综合几何 II：从游戏到延迟不敏感电路
影响因子：
--
作者：
Ghica D
通讯作者：
Ghica D
资源半环中的有界线性类型
DOI：
--
发表时间：
2014
期刊：
European Symposium on Programming
影响因子：
--
作者：
D. Ghica;Alex I. Smith
通讯作者：
Alex I. Smith