+ title="{Verified Representations of Landau's ``Grundlagen'' in the $\lambda\delta$ Family and in the Calculus of Constructions}",
+ Publisher="University of Bologna",
+ address="Bologna, Italy",
+ journal="Journal of Formalized Reasoning",
+ volume="8",
+ number="1",