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",
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",