%0 Journal Article %1 Alexiev1994-applicationsLinearLogic %A Alexiev, Vladimir %D 1994 %J Logic Journal of the IGPL %K linear_logic survey %N 1 %P 77-107 %R 10.1093/jigpal/2.1.77 %T Applications of Linear Logic to Computation: An Overview %U http://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1994-applicationsLinearLogic.pdf %V 2

@article{Alexiev1994-applicationsLinearLogic, added-at = {2021-08-25T16:07:36.000+0200}, author = {Alexiev, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/290b3ed41e2b280bb0ca52590d77e93f4/valexiev}, doi = {10.1093/jigpal/2.1.77}, interhash = {e78a9b16ae39cd219f8d7a2e3f024a0b}, intrahash = {90b3ed41e2b280bb0ca52590d77e93f4}, issn = {1368-9894}, journal = {Logic Journal of the IGPL}, keywords = {linear_logic survey}, month = mar, note = {Also University of Alberta TR93-18, December 1993}, number = 1, pages = {77-107}, timestamp = {2021-08-25T16:07:36.000+0200}, title = {{Applications of Linear Logic to Computation: An Overview}}, url = {http://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1994-applicationsLinearLogic.pdf}, url_published = {http://jigpal.oxfordjournals.org/content/2/1/77}, volume = 2, year = 1994 }