11 citations · 13 across the 3 of their papers we have counts for
1 paper · 2 filters
Dimitris Mostrous
We interpret Linear Logic Proof Nets in a term language based on Solos calculus. The system includes a synchronisation mechanism, obtained by a conservative extension of the logic,…