The Logic of Linear Functors

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},
}