here</a>.
</p>
+ <h2>The Formal System λδ (lambda-delta)<a name="lambda-delta"></a></h2>
+ <p>
+ See the <a href="http://helm.cs.unibo.it/lambda-delta/">λδ home page</a>.
+ </p>
+
<!--#include virtual="bottombar.shtml" -->
</div>
</body>