Superposition for Full Higher-order Logic.

Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic

Browse the full CADE paper archive.