@ARTICLE{Yet90,
  author = {Yetter, David N.},
  title = {Quantales and (noncommutative) linear logic},
  journal = {The Journal of Symbolic Logic},
  year = {1990},
  volume = {55},
  pages = {41--64},
  number = {1},
  doi = {10.2307/2274953},
  file = {Yet90.pdf:Yet90.pdf:PDF},
  issn = {0022-4812},
  mrclass = {03B60 (03G12)},
  mrnumber = {1043543},
  mrreviewer = {Peter P\"appinghaus},
  url = {https://doi.org/10.2307/2274953}
}

{"_id":"Fwf5SHaMv4e9KCxLn","bibbaseid":"yetter-quantalesandnoncommutativelinearlogic-1990","authorIDs":[],"author_short":["Yetter, D. N."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Yetter"],"firstnames":["David","N."],"suffixes":[]}],"title":"Quantales and (noncommutative) linear logic","journal":"The Journal of Symbolic Logic","year":"1990","volume":"55","pages":"41–64","number":"1","doi":"10.2307/2274953","file":"Yet90.pdf:Yet90.pdf:PDF","issn":"0022-4812","mrclass":"03B60 (03G12)","mrnumber":"1043543","mrreviewer":"Peter Päppinghaus","url":"https://doi.org/10.2307/2274953","bibtex":"@ARTICLE{Yet90,\r\n author = {Yetter, David N.},\r\n title = {Quantales and (noncommutative) linear logic},\r\n journal = {The Journal of Symbolic Logic},\r\n year = {1990},\r\n volume = {55},\r\n pages = {41--64},\r\n number = {1},\r\n doi = {10.2307/2274953},\r\n file = {Yet90.pdf:Yet90.pdf:PDF},\r\n issn = {0022-4812},\r\n mrclass = {03B60 (03G12)},\r\n mrnumber = {1043543},\r\n mrreviewer = {Peter P\\\"appinghaus},\r\n url = {https://doi.org/10.2307/2274953}\r\n}\r\n\r\n","author_short":["Yetter, D. N."],"key":"Yet90","id":"Yet90","bibbaseid":"yetter-quantalesandnoncommutativelinearlogic-1990","role":"author","urls":{"Paper":"https://doi.org/10.2307/2274953"},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:36.015Z","downloads":0,"keywords":[],"search_terms":["quantales","noncommutative","linear","logic","yetter"],"title":"Quantales and (noncommutative) linear logic","year":1990,"dataSources":["t7rKiAbxugj4Agz8M"]}