4 [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
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") ^ "."