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