name "documentation_3"
table {
[ { name "ldJ3a" "J3a." "" } {
"F. Guidi:" +
@("http://jfr.unibo.it/article/view/4716"
"Verified Representations of Landau's \"Grundlagen\" in the λδ Family and in the Calculus of Constructions") +
"(2015-12)." +
"In JFR 8(1), Univerity of Bologna, pp. 93-116." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
[ { name "ldR3a" "R3a." "" } {
"F. Guidi:" +
@("http://amsacta.unibo.it/5754/"
"The Formal System λΥP") +
"(2017-12)." +
"University of Bologna, technical report AMS Acta 5754" +
"(accepted 2018-01)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
[ { name "ldP3a" "P3a." "" } {
"F. Guidi:" +
@@("download/ld_talk_10s.pdf"
"Adding Schematic Abstraction to λP") +
"(2018-02)." +
"Presentation at University of Bologna (slides)."
* }
]
}
class "top" [ * ]