[ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
"F. Guidi:" +
@@("download/gda.pdf"
- "A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
- "(<span class=\"emph alpha\">2015-02</span>)." +
+ "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") ^ "."
* }