2 citations · 2 across the 1 of their papers we have counts for
1 paper
Taus Brock-Nannestad, Nicolas Guenot
We study cut elimination for a multifocused variant of full linear logic in the sequent calculus. The multifocused normal form of proofs yields problems that do not appear in a sta…