Paul Downen's linear logic lecture

Paul Downen gave a three-part lecture on linear logic at OPLSS 2018.