From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction.

Chad E. Brown, Christine Rizkallah

Browse the full CADE paper archive.