X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=56ff9c6fb5ce7dedfa397287b5a162c668174192;hb=f8bf3abd773864388fef5efe599ac77f292a6b9d;hp=9578f98533ead4a5441ed38050b1d193c1ea0782;hpb=9dc1381d33c3040062c465639ad736caae57de42;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 9578f9853..56ff9c6fb 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -41,17 +41,14 @@
F.
Guidi: Landau's "Grundlagen der Analysis" from
Automath to lambda-delta (2009-09).
-University of Bologna, technical report UBLCS-2009-16. BibTeX entry. + + |
+
+ |
P8. + |
+ F.Guidi:
+ The Formal System λδ and the "Three
+Problems" (2014-06).
+Presentation at University of Bologna (slides). |
F.
Guidi: Lambda Types on the Lambda Calculus with
Abbreviations (2006-11).
-University of Bologna, technical report UBLCS-2006-25. BibTeX entry. |
@@ -166,9 +194,11 @@ University of Bologna, technical report UBLCS-2006-25.
F.
Guidi: Lambda
+ href="http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-01">Lambda
-Types on the Lambda Calculus with Abbreviations: a Certified
+Types
+on
+the Lambda Calculus with Abbreviations: a Certified
Specification (2006-01).
University of Bologna, technical report UBLCS-2006-01. BibTeX entry. @@ -181,7 +211,9 @@ University of Bologna, technical report UBLCS-2006-01. F. Guidi: The -Formal System λδ (2008-10). Presentation at "Advances in Constructive Topology and Logical Foundations" (slides). @@ -196,7 +228,9 @@ Guidi: Towards the Unification of Terms, Types and Contexts (2008-03). -Presentation at Types 2008 (slides). +Presentation +at +Types 2008 (slides). |
@@ -208,7 +242,9 @@ Guidi: Lambda Types on the Lambda Calculus with
Abbreviations (2007-06).
-Presentation at CiE 2007 (slides).