X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_3.tbl;h=d5d17a5700146d08bf70e3b17b34543c9ee5a20b;hp=b4dd848a600b4c991f8a07497920310483a22095;hb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba;hpb=9b1b59a049935f5382ed7def91b807bbf9453894
diff --git a/helm/www/lambdadelta/web/home/documentation_3.tbl b/helm/www/lambdadelta/web/home/documentation_3.tbl
index b4dd848a6..d5d17a570 100644
--- a/helm/www/lambdadelta/web/home/documentation_3.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -7,7 +7,17 @@ table {
"Verified Representations of Landau's \"Grundlagen\" in the λδ Family and in the Calculus of Constructions") +
"(2015-12)." +
"In JFR 8(1), Univerity of Bologna, pp. 93-116." +
- @@("documentation.html#bibtex" "BibTeX entry") ^ "."
+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
+ * }
+ ]
+ [ { name "ldR3a" "R3a." "" } {
+ "F. Guidi:" +
+ @("http://amsacta.unibo.it/5754/"
+ "The Formal System λΥP") +
+ "(2017-12)." +
+ "University of Bologna, technical report AMS Acta 5754" +
+ "(accepted 2018-01)." +
+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
}