4 [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
7 "A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
8 "(<span class=\"emph alpha\">2015-02</span>)." +
9 "Submitted to JFR, Univerity of Bologna." +
10 @@("documentation.html#bibtex" "BibTeX entry") ^ "."