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