4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
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…