42 citations · 60 across the 6 of their papers we have counts for
1 paper · 1 filter
Ozan Kahramanogullari
Deep inference is a proof theoretic methodology that generalizes the standard notion of inference of the sequent calculus, whereby inference rules become applicable at any depth in…