Keyword:intensional

Publications
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction Chad E. Brown and Christine Rizkallah In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving