6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Marc Bagnol
Given a logic presented in a sequent calculus, a natural question is that of equivalence of proofs: to determine whether two given proofs are equated by any denotational semantics,…