4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Matteo Acclavio
Handsome proof nets were introduced by Retoré as a syntax for multiplicative linear logic. These proof nets are defined by means of cographs (graphs representing formulas) equipped…