</ul>
<ul>
<li><span style="font-weight: bold;">April 2011.</span>
The
specification of λδ version 2 and related topics is
restarted in <a href="http://matita.cs.unibo.it/">Matita
</ul>
<ul>
<li><span style="font-weight: bold;">April 2011.</span>
The
specification of λδ version 2 and related topics is
restarted in <a href="http://matita.cs.unibo.it/">Matita