3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Alexander Bentkamp, Jasmin Blanchette, Matthias Hetzenberger +1
The λ-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-ord…