¶Linear logic

Cheat sheet

Paul Downen's linear logic lecture

Visual linear logic

A practical interpretation of linear logic [Mark Swoope]

» Theory

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