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