/separating-linear-modalities

Separating the structural rules into several different modalities, and then relating them

Primary LanguageTeX