@article{Yetter_1990,
    doi = {10.2307/2274953},
    url = {https://doi.org/10.2307%2F2274953},
    year = {1990},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {55},
    number = {1},
    pages = {41--64},
    author = {David N. Yetter},
    title = {Quantales and (noncommutative) linear logic},
    journal = {Journal of Symbolic Logic}
}

@article{Yetter_1990, doi = {10.2307/2274953}, url = {https://doi.org/10.2307%2F2274953}, year = {1990}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {55}, number = {1}, pages = {41--64}, author = {David N. Yetter}, title = {Quantales and (noncommutative) linear logic}, journal = {Journal of Symbolic Logic} }