table {
[ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
"F. Guidi:" +
- @@("download/gda.pdf"
- "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." +
+ @("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") ^ "."
* }
]