Paul Downen gave a three-part lecture on linear logic at OPLSS 2018.
=> Part 1 [YouTube] | Part 2 [YouTube] | Part 3 [YouTube]
=> » Theory » Linear logic Proxy Information Original URLgemini://dcreager.net/theory/linear-logic/downen-lecture.gmi Status Code Success (20) Metatext/gemini;lang=enCapsule Response Time 589.930293 milliseconds Gemini-to-HTML Time 0.304372 milliseconds This content has been proxied by September (ba2dc).
text/gemini;lang=en
This content has been proxied by September (ba2dc).