%0 Journal Article %1 journals/jsyml/AllweinD93 %A Allwein, Gerard %A Dunn, J. Michael %D 1993 %J J. Symb. Log. %K dblp %N 2 %P 514-545 %T Kripke Models for Linear Logic. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#AllweinD93 %V 58

@article{journals/jsyml/AllweinD93, added-at = {2014-08-05T00:00:00.000+0200}, author = {Allwein, Gerard and Dunn, J. Michael}, biburl = {https://www.bibsonomy.org/bibtex/27ba8b6170bd1b6c44f3ddd441c9f463f/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183744245}, interhash = {f86d1e76b489f7b4d7daecaf5890ff4f}, intrahash = {7ba8b6170bd1b6c44f3ddd441c9f463f}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {514-545}, timestamp = {2015-06-18T02:30:13.000+0200}, title = {Kripke Models for Linear Logic.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#AllweinD93}, volume = 58, year = 1993 }