¶Linear logic

Cheat sheet

Paul Downen's linear logic lecture

Visual linear logic

A practical interpretation of linear logic [Mark Swoope]

[Lafont1988] “The linear abstract machine”

» Theory

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