1 citations · 1 across the 1 of their papers we have counts for
1 paper
Eugen Jiresch
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 r…