<link rel="shortcut icon" href="images/crux_16.ico"></head><body>
<div style="text-align: center;">
<br>
- <a href="http://lambdadelta.info"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
+ <a href="http://lambdadelta.info/"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
<h1>The Formal System λδ (\lambda\delta)<br>
</h1>
<h2>Towards the unification of terms, types, environments and
<td style="vertical-align: top;"><a name="ldp5"></a>F.
Guidi:
<a href="http://doi.acm.org/10.1145/1614431.1614436"><span style="font-style: italic;">The Formal System
- λδ</span></a> (<span style="font-weight: bold;">2009-10</span>). In ACM ToCL 11(1),
- Article
- No. 5 (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>
+ λδ</span></a> (<span style="font-weight: bold;">2009-11</span>). In ACM ToCL 11(1),
+ pp. 5:1-5:37
+ (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>
<span style="font-weight: bold;">2008-07</span>).
CoRR
identifier <a href="http://arxiv.org/abs/cs/0611040"><span style="font-style: italic;"></span>cs/0611040</a>
</div>
-</body></html>
\ No newline at end of file
+</body></html>