<li><a href=http://www.cs.chalmers.se/Cs/Research/Logic/Types/>
Types Project</a>
<li><a href=http://www.mctafi.math.unipd.it/>McTafi</a></li>
<li><a href=http://www.cs.chalmers.se/Cs/Research/Logic/Types/>
Types Project</a>
<li><a href=http://www.mctafi.math.unipd.it/>McTafi</a></li>