@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
+ [ { 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 gamma\">2016-06</span>)." +
+ "(revised <span class=\"emph delta\">2016-06</span>)." +
"Presentation at University of Bologna (slides)."
* }
]