+ [ { name "ldP2d" "<span class=\"emph alpha\">P2d.</span>" "" } {
+ "F. Guidi:" +
+ @@("download/ld_talk_9s.pdf"
+ "Considerations on Automath in Light of the Grundlagen") +
+ "(revised <span class=\"emph gamma\">2016-06</span>)." +
+ "Presentation at University of Bologna (slides)."
+ * }
+ ]