4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Matteo Acclavio, Giulia Manara
We introduce proof nets for PiL, an extension of first-order multiplicative additive linear logic with new operators allowing a shallow encoding of processes in the π-calculus as f…