-
35浏览
-
0点赞
-
0收藏
-
0分享
-
55下载
-
0评论
-
引用
期刊论文
Interaction Nets Revisited
,-0001,():
Past attempts have been made to apply Girard's linear logic to Lafont's interaction nets by treating "symbois" as logical rules, however, failed to come to a signijicant explanation. In this paper, we try to model "symbols" as external axioms and use "tensor" to describe partition of auxiliary ports. We show that our solution leads to a very natural logical interpretation of the computation on interaction nets.
【免责声明】以下全部内容由[黄林鹏]上传于[2011年04月25日 15时14分58秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
本学者其他成果
同领域成果