below.<br>
<h3><img style="width: 32px; height: 32px;"
alt="[Basic lambda_delta Logo]" title="Basic lambda_delta"
- src="download/basic_32.png"> Basic λδ version 2:</h3>
+ src="download/basic_32.png"> Basic λδ version 2 (in progress):</h3>
<table style="text-align: left; width: 100%;" border="0"
cellpadding="2" cellspacing="2">
<tbody>
+
+
<a
href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2009.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2009-16"><span
style="font-style: italic;">Landau's
-"Grundlagen der Analysis" from Automath to lambda_delta</span></a> (<span
+"Grundlagen der Analysis" from Automath to lambda-delta</span></a> (<span
style="font-weight: bold;">2009-09)</span>. University of
Bologna, technical report UBLCS-2009-16. <a
href="implementation.html#bibtex">BibTeX entry</a>.<br>
</table>
<h3><img style="width: 32px; height: 32px;"
alt="[Basic lambda_delta Logo]" title="Basic lambda_delta"
- src="download/basic_32.png"> Basic λδ version 1:</h3>
+ src="download/basic_32.png"> Basic λδ version 1 (closed):</h3>
<table style="text-align: left; width: 100%;" border="0"
cellpadding="2" cellspacing="2">
<tbody>
<td style="vertical-align: top;">1.2.<br>
</td>
<td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/cie_2007.pdf"><span
- style="font-style: italic;">Lambda Types on the Lambda Calculus with
+ href="download/cie_2007.pdf"><span style="font-style: italic;">Lambda
+Types on the Lambda Calculus with
Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
In
+
+
<span style="font-style: italic;">CiE 2007 Local Proceedings</span>.
University
of
+
+
<a href="implementation.html#bibtex">BibTeX
entry</a>.<br>
<br>
+
+
<a href="implementation.html#bibtex">BibTeX
entry</a>.<br>
<br>
<td style="vertical-align: top;">1.6.<br>
</td>
<td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-4.pdf"><span
- style="font-style: italic;">Towards the Unification of Terms, Types
+ href="download/ld_talk_4s.pdf"><span style="font-style: italic;">Towards
+the Unification of Terms, Types
and Contexts</span></a> (<span style="font-weight: bold;">2008-03</span>).
Presentation
at
<td style="vertical-align: top;">1.7.<br>
</td>
<td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-3.pdf"><span
- style="font-style: italic;">Lambda Types on the Lambda Calculus with
+ href="download/ld_talk_3s.pdf"><span style="font-style: italic;">Lambda
+Types on the Lambda Calculus with
Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
Presentation
at
<td style="vertical-align: top;">1.8.<br>
</td>
<td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-2.pdf"><span
- style="font-style: italic;">Lambda Tipi sul Lambda Calcolo con
+ href="download/ld_talk_2s.pdf"><span style="font-style: italic;">Lambda
+Tipi sul Lambda Calcolo con
Abbreviazioni</span></a> (<span style="font-weight: bold;">2007-01</span>).
Presentation
at
+
+
<span style="font-weight: bold;">in
Italian</span>).<br>
<br>
<td style="vertical-align: top;">1.9.<br>
</td>
<td style="vertical-align: top;"><a name="bologna1"></a>F.
-Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-1.pdf"><span
+Guidi: <a href="download/ld_talk_1s.pdf"><span
style="font-style: italic;">Lambda Tipi sul Lambda Calcolo con
Abbreviazioni: una Specifica Certificata</span></a> (<span
style="font-weight: bold;">2005-12</span>). Presentation at
style="border: 0px solid ; width: 88px; height: 31px;"></a> <a
href="http://www.anybrowser.org/campaign/"><img
alt="[Use Any Browser Here]" title="Use Any Browser Here"
- src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
+ src="download/globe_trans.png"
style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
style="width: 88px; height: 31px;" alt="[PNG Used Here]"
title="PNG Used Here]"
src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"><br>
<br>
-Last update 2010-12-14 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2012-02-21 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
Guidi</a><br>
</div>
</body>