X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_3.tbl;h=b8a0eb9d82da2b68615bac85fb77c7c83b79914c;hb=990f97071a9939d47be16b36f6045d3b23f218e0;hp=b4dd848a600b4c991f8a07497920310483a22095;hpb=03401922e645207c7b64b52e1c4349f7951fcf71;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/documentation_3.tbl b/helm/www/lambdadelta/web/home/documentation_3.tbl
index b4dd848a6..b8a0eb9d8 100644
--- a/helm/www/lambdadelta/web/home/documentation_3.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -7,7 +7,25 @@ table {
      "Verified Representations of Landau's \"Grundlagen\" in the λδ Family and in the Calculus of Constructions") +
      "(<span class=\"emph alpha\">2015-12</span>)." +
      "In JFR 8(1), Univerity of Bologna, pp. 93-116." +
-     @@("documentation.html#bibtex" "BibTeX entry") ^ "."
+     @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
+     * }
+   ]
+   [ { name "ldR3a" "<span class=\"emph alpha\">R3a.</span>" "" } {
+     "F. Guidi:" +
+     @("http://amsacta.unibo.it/5754/"
+     "The Formal System λΥP") +
+     "(<span class=\"emph alpha\">2017-12</span>)." +
+     "University of Bologna, technical report AMS Acta 5754" +
+     "(accepted <span class=\"emph alpha\">2018-01</span>)." +
+     @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
+     * }
+   ]
+   [ { name "ldP3a" "<span class=\"emph alpha\">P3a.</span>" "" } {
+     "F. Guidi:" + 
+     @@("download/ld_talk_10s.pdf"
+     "Adding Schematic Abstraction to λP") +
+     "(revised <span class=\"emph gamma\">2018-02</span>)." +
+     "Presentation at University of Bologna (slides)."
      * }
    ]
 }