Keyword:converse

Papers
A Framework for Intuitionistic Grammar Logics Tim Lyon EasyChair Preprint no. 7068