4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Abubakar Hassan, Eugen Jiresch, Shinya Sato
Reduction rules in interaction nets are constrained to pattern match exactly one argument at a time. Consequently, a programmer has to introduce auxiliary rules to perform more sop…