<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><tt><font size=2>&gt; Just to continue the academic nitpicking.. :-)<br>
&gt; <br>
&gt; &gt; Linear logic/typing does not quite capture uniqueness types since
a term <br>
&gt; &gt; with a unique type can always be copied to become non-unique,
but a linear <br>
&gt; &gt; type cannot become unrestricted. <br>
&gt; <br>
&gt; Actually, that isn't quite accurate. In linear logic, a term with
a<br>
&gt; non-linear type can always be regarded as having a linear type, i.e.<br>
&gt; <br>
&gt; &nbsp; U -o !U<br>
&gt; <br>
&gt; is a theorem (my favourite reading of this theorem is &quot;if you
have an<br>
&gt; unlimited supply of bank notes, then you also have a single one&quot;).
The<br>
&gt; implication in the opposite direction is a falsity (from the fact
that<br>
&gt; we have a single bank note, we cannot decude that we have an unlimited<br>
&gt; supply).<br>
&gt;</font></tt>
<br><tt><font size=2>I think you mean</font></tt>
<br>
<br><tt><font size=2>&nbsp; &nbsp; !U -o U</font></tt>
<br>
<br><tt><font size=2>is a theorem. The converse is not provable.</font></tt>
<br>
<br><tt><font size=2>In any case, I think we are saying the same thing.</font></tt>
<br><tt><font size=2>&nbsp;<br>
-Jeff</font></tt>
<br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">---</span><br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">This e-mail may contain confidential and/or privileged information. If you </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">are not the intended recipient (or have received this e-mail in error) </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">please notify the sender immediately and destroy this e-mail. Any </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">unauthorized copying, disclosure or distribution of the material in this </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">e-mail is strictly forbidden.</span><br>