%0 Journal Article %1 journals/iandc/BoudesMF15 %A Boudes, Pierre %A Mazza, Damiano %A de Falco, Lorenzo Tortora %D 2015 %J Inf. Comput. %K dblp %P 32-61 %T An abstract approach to stratification in linear logic. %U http://dblp.uni-trier.de/db/journals/iandc/iandc241.html#BoudesMF15 %V 241

@article{journals/iandc/BoudesMF15, added-at = {2021-02-12T00:00:00.000+0100}, author = {Boudes, Pierre and Mazza, Damiano and de Falco, Lorenzo Tortora}, biburl = {https://www.bibsonomy.org/bibtex/2f2b4321ff1c7ab49a94603e3e4023cc5/dblp}, ee = {https://doi.org/10.1016/j.ic.2014.10.006}, interhash = {78c7cbbb54ca7b19bbac4b638df48f00}, intrahash = {f2b4321ff1c7ab49a94603e3e4023cc5}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {32-61}, timestamp = {2024-04-09T06:11:52.000+0200}, title = {An abstract approach to stratification in linear logic.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc241.html#BoudesMF15}, volume = 241, year = 2015 }