Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

Devs

Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities | Read Paper on Bytez