Keyword:classical higher-order logic

Publications
EasyChair Preprint 554