Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}