2 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
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…