Category Theory
Zulip Server
Archive

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.

Stream: theory: category theory

Topic: Audrey Tan's thesis

view this post on Zulip Cole Comfort (Aug 24 2022 at 12:16):

Does anyone have a copy of Audrey Tan's 1998 thesis, "Full completeness for models of Linear Logic" from Cambridge:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.624813

view this post on Zulip Mike Shulman (Aug 24 2022 at 17:31):

I have tried to find this myself, without success. If you track it down, send me a copy! (-: There should at least be a printed copy somewhere in Cambridge...

view this post on Zulip Tom Hirschowitz (Aug 30 2022 at 15:25):

Yes, here.

view this post on Zulip Valeria de Paiva (Aug 30 2022 at 15:31):

thanks, I couldn't find it.

view this post on Zulip Mike Shulman (Aug 30 2022 at 18:20):

Wow, thank you!

view this post on Zulip Cole Comfort (Sep 01 2022 at 09:39):

Thanks!