2 papers
cs.LO2026
Proof Nets for PiL (Full Version)
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…
cs.LO2024
Proofs as Execution Trees for the π-Calculus
Matteo Acclavio, Giulia Manara
In this paper, we establish the foundations of a novel logical framework for the π-calculus, based on the deduction-as-computation paradigm. Following the standard proof-theoretic…