%0 Conference Paper %1 conf/tlca/LagoH09 %A Lago, Ugo Dal %A Hofmann, Martin %B TLCA %D 2009 %E Curien, Pierre-Louis %I Springer %K dblp %P 80-94 %T Bounded Linear Logic, Revisited. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2009.html#LagoH09 %V 5608 %@ 978-3-642-02272-2

@inproceedings{conf/tlca/LagoH09, added-at = {2017-05-17T00:00:00.000+0200}, author = {Lago, Ugo Dal and Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2a308c3b5257d278e1a93348b20e46996/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2009}, editor = {Curien, Pierre-Louis}, ee = {https://doi.org/10.1007/978-3-642-02273-9_8}, interhash = {363ab3057d43e6b12df90f55543deea0}, intrahash = {a308c3b5257d278e1a93348b20e46996}, isbn = {978-3-642-02272-2}, keywords = {dblp}, pages = {80-94}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:21:57.000+0200}, title = {Bounded Linear Logic, Revisited.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2009.html#LagoH09}, volume = 5608, year = 2009 }