9 citations · 15 across the 12 of their papers we have counts for
1 paper · 1 filter
Abubakar Hassan, Ian Mackie, Shinya Sato
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close corresponde…