TY  - RPRT
TI  - Extending the Interaction Nets Calculus by Generic Rules
AU  - Eugen Jiresch
PY  - 2012
DO  - 10.4204/eptcs.101.2
UR  - https://arxiv.org/abs/1211.4102
ID  - 1211.4102
ER  -