Extending the Interaction Nets Calculus by Generic Rules
Logic in Computer Science
2012-11-20 v1
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.
Cite
@article{arxiv.1211.4102,
title = {Extending the Interaction Nets Calculus by Generic Rules},
author = {Eugen Jiresch},
journal= {arXiv preprint arXiv:1211.4102},
year = {2012}
}
Comments
In Proceedings LINEARITY 2012, arXiv:1211.3480