2 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 1 cited
Sequent Calculus and Equational Programming
Nicolas Guenot, Daniel Gustafsson
Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and invol…
cs.LO2015★ 2 cited
Cut Elimination in Multifocused Linear Logic
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…