7 citations · 28 across the 17 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 2 cited
Communication, and concurrency with logic-based restriction inside a calculus of structures
Luca Roversi
It is well known that we can use structural proof theory to refine, or generalize, existing paradigmatic computational primitives, or to discover new ones. Under such a point of vi…
cs.LO2012★ 7 cited
Extending a system in the calculus of structures with a self-dual quantifier
Luca Roversi
We recall that SBV, a proof system developed under the methodology of deep inference, extends multiplicative linear logic with the self-dual non-commutative logical operator Seq. W…