3 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes +1
We introduce refutationally complete superposition calculi for intentional and extensional clausal λ-free higher-order logic, two formalisms that allow partial application and ap…