@incollection{seely89,
 title = {Linear logic, {$*$}-autonomous categories and cofree
coalgebras},
 author = {Seely, R. A. G.},
 year = {1989},
 isbn = {0-8218-5100-4},
 doi = {10.1090/conm/092/1003210},
 url = {https://doi.org/10.1090/conm/092/1003210},
 booktitle = {Categories in computer science and logic ({B}oulder, {CO},
1987)},
 series = {Contemp. Math.},
 volume = {92},
 pages = {371--382},
 publisher = {Amer. Math. Soc., Providence, RI},
 mrreviewer = {G.\ E.\ Mints and M.\ Gordin},
 mrnumber = {1003210},
 mrclass = {03G30 (03B45 18A15)}
}