Set of Support for Higher-Order Reasoning.

Ahmed Bhayat, Giles Reger

Browse the full CADE paper archive.