%0 Journal Article %1 journals/mst/LagoH10 %A Lago, Ugo Dal %A Hofmann, Martin %D 2010 %J Theory Comput. Syst. %K dblp %N 4 %P 673-689 %T A Semantic Proof of Polytime Soundness of Light Affine Logic. %U http://dblp.uni-trier.de/db/journals/mst/mst46.html#LagoH10 %V 46

@article{journals/mst/LagoH10, added-at = {2013-11-05T00:00:00.000+0100}, author = {Lago, Ugo Dal and Hofmann, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/216a8033f0b09e4c76c9b65592a5387b3/dblp}, ee = {http://dx.doi.org/10.1007/s00224-009-9210-x}, interhash = {40c8a2ffc7701264da4328c8374bf8b5}, intrahash = {16a8033f0b09e4c76c9b65592a5387b3}, journal = {Theory Comput. Syst.}, keywords = {dblp}, number = 4, pages = {673-689}, timestamp = {2016-02-02T06:16:39.000+0100}, title = {A Semantic Proof of Polytime Soundness of Light Affine Logic.}, url = {http://dblp.uni-trier.de/db/journals/mst/mst46.html#LagoH10}, volume = 46, year = 2010 }