31 citations · 149 across the 30 of their papers we have counts for
1 paper · 1 filter
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an imp…