%0 Journal Article %1 journals/iandc/CarvalhoF16 %A de Carvalho, Daniel %A de Falco, Lorenzo Tortora %D 2016 %J Inf. Comput. %K dblp %P 104-129 %T A semantic account of strong normalization in linear logic. %U http://dblp.uni-trier.de/db/journals/iandc/iandc248.html#CarvalhoF16 %V 248

@article{journals/iandc/CarvalhoF16, added-at = {2021-02-12T00:00:00.000+0100}, author = {de Carvalho, Daniel and de Falco, Lorenzo Tortora}, biburl = {https://www.bibsonomy.org/bibtex/2a6b3ae1efa630dbee13634181355fb9a/dblp}, ee = {https://doi.org/10.1016/j.ic.2015.12.010}, interhash = {9968fd0f7f90ef0ae902e9eaad05c01d}, intrahash = {a6b3ae1efa630dbee13634181355fb9a}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {104-129}, timestamp = {2024-04-09T06:07:29.000+0200}, title = {A semantic account of strong normalization in linear logic.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc248.html#CarvalhoF16}, volume = 248, year = 2016 }