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…
cs.LO2025
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…