5 citations · 12 across the 9 of their papers we have counts for
1 paper · 1 filter
Eduardo Bonelli, Delia Kesner, Andrés Viso
When translating a term calculus into a graphical formalism many inessential details are abstracted away. In the case of λ-calculus translated to proof-nets, these inessential de…