4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Matteo Acclavio
The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure…