Modules and Logic Programming

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…