@@("documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
+ [ { name "ldP2d" "<span class=\"emph alpha\">P2d.</span>" "" } {
+ "F. Guidi:" +
+ @@("download/ld_talk_9s.pdf"
+ "Considerations on Automath in Light of the Grundlagen") +
+ "(<span class=\"emph beta\">2016-05</span>)." +
+ "Presentation at University of Bologna (slides)."
+ * }
+ ]
[ { name "ldP2c" "<span class=\"emph alpha\">P2c.</span>" "" } {
"F. Guidi:" +
@@("download/ld_talk_8s.pdf"