%0 Journal Article %1 journals/apal/CarvalhoF12 %A de Carvalho, Daniel %A de Falco, Lorenzo Tortora %D 2012 %J Ann. Pure Appl. Log. %K dblp %N 9 %P 1210-1236 %T The relational model is injective for multiplicative exponential linear logic (without weakenings). %U http://dblp.uni-trier.de/db/journals/apal/apal163.html#CarvalhoF12 %V 163

@article{journals/apal/CarvalhoF12, added-at = {2023-08-28T00:00:00.000+0200}, author = {de Carvalho, Daniel and de Falco, Lorenzo Tortora}, biburl = {https://www.bibsonomy.org/bibtex/24923b2479d50ee9eb08f0c014b07dd89/dblp}, ee = {https://www.wikidata.org/entity/Q114209365}, interhash = {6b6388ff194d8125c75198a4faa98424}, intrahash = {4923b2479d50ee9eb08f0c014b07dd89}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 9, pages = {1210-1236}, timestamp = {2024-04-09T02:36:12.000+0200}, title = {The relational model is injective for multiplicative exponential linear logic (without weakenings).}, url = {http://dblp.uni-trier.de/db/journals/apal/apal163.html#CarvalhoF12}, volume = 163, year = 2012 }