Non Decomposable Connectives of Linear Logic

Annals of Pure and Applied Logic - Netherlands

doi 10.1016/j.apal.2019.05.006