Richard Blute, J. Robin B. Cockett, R. A. G. Seely. The Logic of Linear Functors. Mathematical Structures in Computer Science, 12(4):513-539, 2002.
@article{BluteCS02, title = {The Logic of Linear Functors}, author = {Richard Blute and J. Robin B. Cockett and R. A. G. Seely}, year = {2002}, tags = {logic}, researchr = {https://researchr.org/publication/BluteCS02}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {12}, number = {4}, pages = {513-539}, }