- "A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
- "(<span class=\"emph alpha\">2015-02</span>)." +
- "Submitted to JFR, Univerity of Bologna."
+ "Verified Representations of Landau's \"Grundlagen\" in λδ and in the Calculus of Constructions") +
+ "(<span class=\"emph alpha\">2015-08</span>)." +
+ "Submitted to JFR, Univerity of Bologna." +
+ @@("documentation.html#bibtex" "BibTeX entry") ^ "."