@misc{lambdadeltaJ3a,
author="F. {Guidi}",
- title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
+ title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}",
year="2015",
- month="February",
+ month="August",
note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
}