@misc{lambdadeltaV2,
author="F. {Guidi}",
title="{lambdadelta\_2}",
howpublished="Formal specification for the proof assistant Matita 0.99.2",
year="2014",
@misc{lambdadeltaV2,
author="F. {Guidi}",
title="{lambdadelta\_2}",
howpublished="Formal specification for the proof assistant Matita 0.99.2",
year="2014",