Title :
Interaction nets revisited
Author :
Huang, Linpeng ; Sun, Yongqiang
Author_Institution :
Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
Abstract :
Past attempts to apply Girard´s linear logic to Lafont´s interaction nets by treating “symbols” as logical rules, however, failed to come to a significant 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
Keywords :
parallel programming; interaction nets; linear logic; logical rules; parallel computation; symbols; Computational geometry; Computational modeling; Computer science; Concrete; Concurrent computing; Ear; Logic; Parallel processing; Sun; System recovery;
Conference_Titel :
Advances in Parallel and Distributed Computing, 1997. Proceedings
Conference_Location :
Shanghai
Print_ISBN :
0-8186-7876-3
DOI :
10.1109/APDC.1997.574020
