4 citations · 9 across the 3 of their papers we have counts for
1 paper · 2 filters
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…