%0 Journal Article %1 journals/corr/KanovichKS16a %A Kanovich, Max I. %A Kuznetsov, Stepan L. %A Scedrov, Andre %D 2016 %J CoRR %K dblp %T Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities. %U http://dblp.uni-trier.de/db/journals/corr/corr1608.html#KanovichKS16a %V abs/1608.02254

@article{journals/corr/KanovichKS16a, added-at = {2021-08-16T00:00:00.000+0200}, author = {Kanovich, Max I. and Kuznetsov, Stepan L. and Scedrov, Andre}, biburl = {https://www.bibsonomy.org/bibtex/2316772ade9743f241d48017d80196316/dblp}, ee = {http://arxiv.org/abs/1608.02254}, interhash = {ce50d58c2c82c03125886a7eda646a38}, intrahash = {316772ade9743f241d48017d80196316}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:30:17.000+0200}, title = {Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1608.html#KanovichKS16a}, volume = {abs/1608.02254}, year = 2016 }