6 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Christophe Fouquere, Virgile Mogbil
We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. W…