dcreager.net

↓

Paul Downen's linear logic lecture

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

This page is also available via Gemini at gemini://dcreager.net/theory/linear-logic/downen-lecture.gmi