*This is a work in progress post outlining my research into linear logic
and linear type systems.*

Papers related directly to linear logic.

- Linear Logical Relations for Session-Based Concurrency 2012
- Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication 2009
- Linear logic, monads, and the lambda calculus 1996
- Structural Cut Elimination in Linear Logic 1994
- A taste of linear logic 1993
- A syntax for linear logic 1993
- There’s no substitute for linear logic 1992
- Is there a use for linear logic? 1991

Papers related to linear logic, specifically focusing on type theory.

- Once upon a type 1995
- Call-by-name, call-by-value, call-by-need, and the linear lambda calculus 1995
- Linear types can change the world! 1990

Online course materials related to linear logic.

Related wikipedia entries and other websites.

- Linear logic, Wikipedia
- Uniqueness type, Wikipedia
- Substructural type system, Wikipedia
- Linear Logic, Stanford Encyclopedia of Philosophy
- Linear Datatypes in ATS, Chris Double

Languages which support linear type systems.

I’m hoping to make this into a living document, so please submit pull requests or leave comments!