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 @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
13 [ { name "ldR3a" "<span class=\"emph alpha\">R3a.</span>" "" } {
15 @("http://amsacta.unibo.it/5754/"
16 "The Formal System λΥP") +
17 "(<span class=\"emph alpha\">2017-12</span>)." +
18 "University of Bologna, technical report AMS Acta 5754" +
19 "(accepted <span class=\"emph alpha\">2018-01</span>)." +
20 @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
23 [ { name "ldP3a" "<span class=\"emph alpha\">P3a.</span>" "" } {
25 @@("download/ld_talk_10s.pdf"
26 "Adding Schematic Abstraction to λP") +
27 "(<span class=\"emph alpha\">2018-02</span>)." +
28 "Presentation at University of Bologna (slides)."