Applications of Linear Logic to Computation: An Overview

Vladimir Alexiev. Applications of Linear Logic to Computation: An Overview. Logic Journal of the IGPL, 2(1):77-107, 1994. [doi]

@article{Alexiev94,
  title = {Applications of Linear Logic to Computation: An Overview},
  author = {Vladimir Alexiev},
  year = {1994},
  doi = {10.1093/jigpal/2.1.77},
  url = {http://dx.doi.org/10.1093/jigpal/2.1.77},
  tags = {logic},
  researchr = {https://researchr.org/publication/Alexiev94},
  cites = {0},
  citedby = {0},
  journal = {Logic Journal of the IGPL},
  volume = {2},
  number = {1},
  pages = {77-107},
}