2005-08-01 Linear Values liner-logic http://www.matthewmorgan.net/blog/archives/2005/07/15/linear-values