@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
+ [ { name "ldP3a" "<span class=\"emph alpha\">P3a.</span>" "" } {
+ "F. Guidi:" +
+ @@("download/ld_talk_10s.pdf"
+ "Adding Schematic Abstraction to λP") +
+ "(<span class=\"emph alpha\">2018-02</span>)." +
+ "Presentation at University of Bologna (slides)."
+ * }
+ ]
}
class "top" [ * ]