提示
黄林鹏
-
72浏览
-
0点赞
-
0收藏
-
0分享
-
39下载
-
0评论
-
引用
期刊论文
交互作用网理论分析
计算机学报，1993，16（3）：171～180，-0001，（）：
摘要/描述
交互作用网是Lafont[1]于1990年在POPL会议上提出的一种程序设计语言，本文我们从证明和程序的关系出发，使用线性逻辑作为一中长跑 集成逻辑讨论交互作用网的理论性质，得到下述结论：·网上的结点辅助商品的划分可表示成相应类型的张量积；·网上的计算等价于线性矢列演算中Principal-Cut的消去；·对于任何一个交互作用网，如果存在一个线性矢列演算与之对应，则该网是简单的。
【免责声明】以下全部内容由[黄林鹏]上传于[2011年04月25日 15时14分41秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
