TY  - RPRT
TI  - Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
AU  - Max Kanovich
AU  - Stepan Kuznetsov
AU  - Andre Scedrov
PY  - 2019
UR  - https://arxiv.org/abs/1608.02254
ID  - 1608.02254
ER  -