X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=71f208233f099f9f929e5a8d3567a5a92d6d06ff;hb=e305a62a7cb0a49fea3d241474e4c5bcd40e7272;hp=e7f836acc7eedd42aee3203ed85975461bae721f;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index e7f836acc..71f208233 100644 --- a/helm/www/lambda_delta/documentation.html +++ b/helm/www/lambda_delta/documentation.html @@ -2,9 +2,9 @@
-1.2. |
F. Guidi: Lambda Types on the Lambda Calculus with
Abbreviations (2007-06).
In
@@ -169,6 +170,7 @@ In
+
CiE 2007 Local Proceedings.
University
of
@@ -188,6 +190,7 @@ presentation).
+
BibTeX
entry. @@ -219,6 +222,7 @@ UBLCS-2006-25. + BibTeX entry. @@ -262,7 +266,7 @@ System lambda-delta | 1.6. |
F. Guidi: Towards the Unification of Terms, Types and Contexts (2008-03). Presentation @@ -277,7 +281,7 @@ Types | 1.7. |
F. Guidi: Lambda Types on the Lambda Calculus with Abbreviations (2007-06). Presentation @@ -292,7 +296,7 @@ CiE | 1.8. |
F. Guidi: Lambda Tipi sul Lambda Calcolo con
Abbreviazioni (2007-01).
Presentation
@@ -308,6 +312,7 @@ Padova
+
in
Italian). @@ -318,7 +323,7 @@ Italian). |
F.
Guidi: Lambda Tipi sul Lambda Calcolo con
Abbreviazioni: una Specifica Certificata (2005-12). Presentation at
@@ -340,13 +345,13 @@ Italian). style="border: 0px solid ; width: 88px; height: 31px;"> ![]() ![]() -Last update 2010-12-14 by Ferruccio +Last update 2011-09-09 by Ferruccio Guidi |