通过通用规则扩展交互网演算
计算机科学中的逻辑
2012-11-20 v1
摘要
我们通过通用规则扩展了交互网的文本演算，并提出了保持一致合流性的约束条件。此外，我们讨论了在基于轻量级交互网演算的语言 inets 中实现通用规则的方法。
引用
@article{arxiv.1211.4102,
title = {Extending the Interaction Nets Calculus by Generic Rules},
author = {Eugen Jiresch},
journal= {arXiv preprint arXiv:1211.4102},
year = {2012}
}
备注
In Proceedings LINEARITY 2012, arXiv:1211.3480