3 citations · 3 across the 3 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…