+ [ { name "ldP2e" "<span class=\"emph alpha\">P2e.</span>" "" } {
+ "F. Guidi:" +
+ @@("download/ld_talk_11s.pdf"
+ "A newborn in the λδ family: introducing λδ-2B") +
+ "(<span class=\"emph beta\">2018-11</span>)." +
+ "Presentation at University of Bologna (slides)."
+ * }
+ ]
+ [ { 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 delta\">2016-06</span>)." +
+ "Presentation at University of Bologna (slides)."
+ * }
+ ]
+ [ { name "ldP2c" "<span class=\"emph alpha\">P2c.</span>" "" } {