This is a work in progress post outlining my research into linear logic and linear type systems.
Papers related directly to linear logic.
Papers related to linear logic, specifically focusing on type theory.
Online course materials related to linear logic.
Related wikipedia entries and other websites.
Languages which support linear type systems.
I’m hoping to make this into a living document, so please submit pull requests or leave comments!