helm/www/lambdadelta/web/home/documentation_3.tbl

   1 name "documentation_3"
   2
   3 table {
   4    [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
   5      "F. Guidi:" +
   6      @@("download/gda.pdf"
   7      "Verified Representations of Landau's \"Grundlagen\" in λδ and in the Calculus of Constructions") +
   8      "(<span class=\"emph alpha\">2015-08</span>)." +
   9      "Submitted to JFR, Univerity of Bologna." +
  10      @@("documentation.html#bibtex" "BibTeX entry") ^ "."
  11      * }
  12    ]
  13 }
  14
  15 class "top" [ * ]