4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 4 cited
An Abstract Approach to Stratification in Linear Logic
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…
cs.LO2006
Non uniform (hyper/multi)coherence spaces
Pierre Boudes
In (hyper)coherence semantics, proofs/terms are cliques in (hyper)graphs. Intuitively, vertices represent results of computations and the edge relation witnesses the ability of bei…