@@("download/ld_talk_8s.pdf"
"The Formal System λδ and the \"Three Problems\"") +
"(<span class=\"emph beta\">2014-06</span>)." +
- "Presentation at University of Bologna (slides)."
+ "Presentation at University of Bologna, for the 10th anniversary of λδ (slides)."
* }
]
[ { name "ldP2b" "<span class=\"emph alpha\">P2b.</span>" "" } {