2000 character limit reached
Extending the Interaction Nets Calculus by Generic Rules
Published 17 Nov 2012 in cs.LO | (1211.4102v1)
Abstract: We extend the textual calculus for interaction nets by generic rules and propose constraints to preserve uniform confluence. Furthermore, we discuss the implementation of generic rules in the language inets, which is based on the lightweight interaction nets calculus.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.