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      @("http://jfr.unibo.it/article/view/4716"
   7      "Verified Representations of Landau's \"Grundlagen\" in the λδ Family and in the Calculus of Constructions") +
   8      "(<span class=\"emph alpha\">2015-12</span>)." +
   9      "In JFR 8(1), Univerity of Bologna, pp. 93-116." +
  10      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
  11      * }
  12    ]
  13    [ { name "ldR3a" "<span class=\"emph alpha\">R3a.</span>" "" } {
  14      "F. Guidi:" +
  15      @("http://amsacta.unibo.it/5754/"
  16      "The Formal System λΥP") +
  17      "(<span class=\"emph alpha\">2017-12</span>)." +
  18      "University of Bologna, technical report AMS Acta 5754" +
  19      "(accepted <span class=\"emph alpha\">2018-01</span>)." +
  20      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
  21      * }
  22    ]
  23    [ { name "ldP3a" "<span class=\"emph alpha\">P3a.</span>" "" } {
  24      "F. Guidi:" +
  25      @@("download/ld_talk_10s.pdf"
  26      "Adding Schematic Abstraction to λP") +
  27      "(<span class=\"emph alpha\">2018-02</span>)." +
  28      "Presentation at University of Bologna (slides)."
  29      * }
  30    ]
  31 }
  32
  33 class "top" [ * ]