Keyword:Path axiom

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