4 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco
We study the notion of stratification, as used in subsystems of linear logic with low complexity bounds on the cut-elimination procedure (the so-called light logics), from an abstr…