X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=64120aa00c716fc3cbfe43f626723bddc6a35f4c;hb=77c6a180035cd63f3edd4db54bd7e9b411f9e85e;hp=657dfe22991a22e9373fdb173e979078ac55d792;hpb=0a5a2f3cf0e3f748feb5beaad413181163504509;p=helm.git
diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html
index 657dfe229..64120aa00 100644
--- a/helm/www/lambda_delta/documentation.html
+++ b/helm/www/lambda_delta/documentation.html
@@ -51,7 +51,7 @@ A summary of basic λδ (version
below.
1.2. |
F. Guidi: Lambda Types on the Lambda Calculus with
+ href="download/cie_2007.pdf">Lambda
+Types on the Lambda Calculus with
Abbreviations (2007-06).
In
@@ -169,6 +171,8 @@ In
+
+
CiE 2007 Local Proceedings.
University
of
@@ -188,6 +192,8 @@ presentation).
+
+
BibTeX
entry. @@ -219,6 +225,8 @@ UBLCS-2006-25. + + BibTeX entry. @@ -262,8 +270,8 @@ System lambda-delta | 1.6. |
F. Guidi: Towards the Unification of Terms, Types + href="download/ld_talk_4s.pdf">Towards +the Unification of Terms, Types and Contexts (2008-03). Presentation at @@ -277,8 +285,8 @@ Types | 1.7. |
F. Guidi: Lambda Types on the Lambda Calculus with + href="download/ld_talk_3s.pdf">Lambda +Types on the Lambda Calculus with Abbreviations (2007-06). Presentation at @@ -292,8 +300,8 @@ CiE | 1.8. |
F. Guidi: Lambda Tipi sul Lambda Calcolo con
+ href="download/ld_talk_2s.pdf">Lambda
+Tipi sul Lambda Calcolo con
Abbreviazioni (2007-01).
Presentation
at
@@ -308,6 +316,8 @@ Padova
+
+
in
Italian). @@ -317,8 +327,7 @@ Italian). | 1.9. |
F.
-Guidi: Lambda Tipi sul Lambda Calcolo con
Abbreviazioni: una Specifica Certificata (2005-12). Presentation at
@@ -340,13 +349,13 @@ Italian). style="border: 0px solid ; width: 88px; height: 31px;"> -Last update 2010-12-14 by Ferruccio +Last update 2012-02-21 by Ferruccio Guidi |