1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 1 cited
A Deep Inference System for Differential Linear Logic
Matteo Acclavio, Giulio Guerrieri
Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference for…
cs.LO2021
Exponentially Handsome Proof Nets and Their Normalization
Matteo Acclavio
Handsome proof nets were introduced by Retoré as a syntax for multiplicative linear logic. These proof nets are defined by means of cographs (graphs representing formulas) equipped…