• DocumentCode
    2818847
  • Title

    Interaction nets revisited

  • Author

    Huang, Linpeng ; Sun, Yongqiang

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
  • fYear
    1997
  • fDate
    19-21 Mar 1997
  • Firstpage
    108
  • Lastpage
    115
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Advances in Parallel and Distributed Computing, 1997. Proceedings
  • Conference_Location
    Shanghai
  • Print_ISBN
    0-8186-7876-3
  • Type

    conf

  • DOI
    10.1109/APDC.1997.574020
  • Filename
    574020
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2818847