4 [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
6 @("http://jfr.unibo.it/article/view/4716"
7 "Verified Representations of Landau's \"Grundlagen\" in the λδ Family and in the Calculus of Constructions") +
8 "(<span class=\"emph alpha\">2015-12</span>)." +
9 "In JFR 8(1), Univerity of Bologna, pp. 93-116." +
10 @@("documentation.html#bibtex" "BibTeX entry") ^ "."