A TunesLearningLounge course.

<u><a href="http://www.research.avayalabs.com/user/wadler/">''A taste of linear logic''</a> by Philip Wadler, more famous for monads.

<a href="http://dmoz.org/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Substructural_Logics/Linear_Logic/">Open Directory section</a>.

Henry Baker: <a href="http://www.pipeline.com/~hbaker1/Use1Var.html">Linear Lisp</a>.

Alan Bawden: <a href="ftp://publications.ai.mit.edu/ai-publications/1500-1999/AITR-1627.ps">Linear Graph Reduction: Confronting the Cost of Naming</a>.

Yonezawa: <u>Linear Logic as a paradigm for concurrent programming</u>.

Linear Typing - see the _(Clean language), also _(Mercury).

NB: SSA (single static assignment) forms used internally by some compilers
(and remarkably by the .NET Intermediate Representation for programs)
is directly related to linearity.
