Interaction Nets Revisited

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Linpeng Huang Articles by Yongqiang Sun

1997 Advances in Parallel and Distributed Computing Conference (APDC '97)

Shanghai, CHINA

March 19-March 21

ISBN: 0-8186-7876-3

	ASCII Text	x
	Linpeng Huang, Yongqiang Sun, "Interaction Nets Revisited," Advances in Parallel and Distributed Computing Conference, pp. 108, 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997.

	BibTex	x
	@article{ 10.1109/APDC.1997.574020, author = {Linpeng Huang and Yongqiang Sun}, title = {Interaction Nets Revisited}, journal ={Advances in Parallel and Distributed Computing Conference}, volume = {0}, year = {1997}, isbn = {0-8186-7876-3}, pages = {108}, doi = {http://doi.ieeecomputersociety.org/10.1109/APDC.1997.574020}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Advances in Parallel and Distributed Computing Conference TI - Interaction Nets Revisited SN - 0-8186-7876-3 SP EP A1 - Linpeng Huang, A1 - Yongqiang Sun, PY - 1997 KW - Proof-nets KW - Parallel programming models VL - 0 JA - Advances in Parallel and Distributed Computing Conference ER -

Linpeng Huang, Shanghai Jiao Tong University

Yongqiang Sun, Shanghai Jiao Tong University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APDC.1997.574020

Past attempts have been made 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.

Index Terms:

Proof-nets, Parallel programming models

Citation:

Linpeng Huang, Yongqiang Sun, "Interaction Nets Revisited," apdc, pp.108, 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.