Melliès, Tabareau, 2010. Resource modalities in tensor logic 161.. https://doi.org/10.1016/j.apal.2009.07.018