21 citations · 70 across the 12 of their papers we have counts for
1 paper · 2 filters
Danko Ilik
We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift sc…