You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Matteo Capucci (he/him) (Aug 04 2025 at 09:52):Does anyone have a copy of:
R.A.G. Seely, Linear logic, ∗-autonomous categories and cofree coalgebras, in: J. Gray, A. Scedrov (Eds.), Categories in Computer Science and Logic, Contemporary Mathematics, vol. 92, Am. Math. Soc., Providence, RI, 1989.
?
David Michael Roberts (Aug 04 2025 at 11:31):Let me check if I have that volume in hard-copy. If so, I can see about getting you the paper.
David Michael Roberts (Aug 04 2025 at 11:31):Will be tomorrow, if no one else does it before I do
Nathanael Arkor (Aug 04 2025 at 11:34):https://ncatlab.org/nlab/files/SeelyLinearLogic.pdf
Matteo Capucci (he/him) (Aug 04 2025 at 11:54):Thanks to both!!
David Michael Roberts (Aug 04 2025 at 23:24):@Matteo Capucci (he/him) ok, I do have it on my shelf, but @Nathanael Arkor has sorted you out.