Keyword:converse

Publications
A Framework for Intuitionistic Grammar Logics Tim Lyon EasyChair Preprint 7068