name "documentation_3"

table {
   [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
     "F. Guidi:" +
     @("http://jfr.unibo.it/article/view/4716"
     "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") ^ "."
     * }
   ]
}

class "top" [ * ]