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