@incollection{LL_encyclopedia,
	edition = {Summer 2019},
	title = {Linear logic},
	url = {https://plato.stanford.edu/archives/sum2019/entries/logic-linear/},
	booktitle = {The {Stanford} encyclopedia of philosophy},
	publisher = {Metaphysics Research Lab, Stanford University},
	author = {Di Cosmo, Roberto and Miller, Dale},
	editor = {Zalta, Edward N.},
	year = {2019},
}

{"_id":"vqwhmxyYrPMuBqHiy","bibbaseid":"dicosmo-miller-linearlogic-2019","author_short":["Di Cosmo, R.","Miller, D."],"bibdata":{"bibtype":"incollection","type":"incollection","edition":"Summer 2019","title":"Linear logic","url":"https://plato.stanford.edu/archives/sum2019/entries/logic-linear/","booktitle":"The Stanford encyclopedia of philosophy","publisher":"Metaphysics Research Lab, Stanford University","author":[{"propositions":[],"lastnames":["Di","Cosmo"],"firstnames":["Roberto"],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Dale"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Zalta"],"firstnames":["Edward","N."],"suffixes":[]}],"year":"2019","bibtex":"@incollection{LL_encyclopedia,\n\tedition = {Summer 2019},\n\ttitle = {Linear logic},\n\turl = {https://plato.stanford.edu/archives/sum2019/entries/logic-linear/},\n\tbooktitle = {The {Stanford} encyclopedia of philosophy},\n\tpublisher = {Metaphysics Research Lab, Stanford University},\n\tauthor = {Di Cosmo, Roberto and Miller, Dale},\n\teditor = {Zalta, Edward N.},\n\tyear = {2019},\n}\n\n","author_short":["Di Cosmo, R.","Miller, D."],"editor_short":["Zalta, E. N."],"key":"LL_encyclopedia","id":"LL_encyclopedia","bibbaseid":"dicosmo-miller-linearlogic-2019","role":"author","urls":{"Paper":"https://plato.stanford.edu/archives/sum2019/entries/logic-linear/"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/ValentinDRichard","dataSources":["nTukRxsNNmbKgjGgn"],"keywords":[],"search_terms":["linear","logic","di cosmo","miller"],"title":"Linear logic","year":2019}