1 citations · 1 across the 1 of their papers we have counts for
1 paper
Marc de Falco
Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of int…