Keyword:Grammar logic

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