Robert J. Simmons, Frank Pfenning. Linear Logical Algorithms. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. Volume 5126 of Lecture Notes in Computer Science, pages 336-347, Springer, 2008. [doi]
@inproceedings{SimmonsP08,
title = {Linear Logical Algorithms},
author = {Robert J. Simmons and Frank Pfenning},
year = {2008},
doi = {10.1007/978-3-540-70583-3_28},
url = {http://dx.doi.org/10.1007/978-3-540-70583-3_28},
researchr = {https://researchr.org/publication/SimmonsP08},
cites = {0},
citedby = {0},
pages = {336-347},
booktitle = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations},
editor = {Luca Aceto and Ivan Damgård and Leslie Ann Goldberg and Magnús M. Halldórsson and Anna Ingólfsdóttir and Igor Walukiewicz},
volume = {5126},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70582-6},
}