A *(Learning Lounge) course about _(Linear Logic) issues.

_("A taste of linear logic"|http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html#lineartaste), an introduction to linear logic by _(Philip Wadler), more famous for monads (_(old broken link|http://www.research.avayalabs.com/user/wadler/)).

_("Linear logic"|http://citeseer.nj.nec.com/lincoln92linear.html), another (shorter and intuitive) introduction to linear logic by Patrick Lincoln (_(old broken link|http://www.csl.sri.com/papers/sigact92/)).

_(Open Directory section on linear logic|http://dmoz.org/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Substructural_Logics/Linear_Logic/).

_(Henry Baker): _("Lively Linear Lisp -- 'Look Ma, No Garbage!'"|http://www.pipeline.com/~hbaker1/LinearLisp.html) and 
_("'Use-Once' Variables and Linear Objects -- Storage Management, Reflection and Multi-Threading"|http://www.pipeline.com/~hbaker1/Use1Var.html).

_(Alan Bawden): _(Linear Graph Reduction: Confronting the Cost of Naming|ftp://publications.ai.mit.edu/ai-publications/1500-1999/AITR-1627.ps)</a>.

_(A. Yonezawa): <em>Linear Logic as a paradigm for concurrent programming</em> (I don't find this paper, probably the _(contributor) intended this: _("ACL - a concurrent linear logic programming paradigm"|ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/ilps93-acl-a4.ps.Z) (.ps.Z) -- _(MaD70)).

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

<span class="comment">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.
<br>-- _(A N Other)</span>

<span class="comment">No, Single-Static Assignment does not make the use of a variable linear, it just makes the variable immutable, and therefore referentially-transparent. However, the dual form of SSA, "SSU" or Static Single Use, where each assignment reaches at most one use, does correspond directly to linearity, and is useful in performing a number of analyses and optimizations related to placement of variable assignments and memory stores.
<br>-- _(water)(?)</span>
