Glivenko and Kuroda for Simple Type Theory
Chad E. Brown, Christine Rizkallah
The Journal of Symbolic Logic
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
(pdf)
Chad E. Brown, Christine Rizkallah
Glivenko and Kuroda for Simple Type Theory
(pdf)
Chad E. Brown, Christine Rizkallah
Technical Report, Submitted
Proof Representations for Higher-Order Logic
(pdf)
Christine Rizkallah
Master's Thesis, Saarland University