author="Ferruccio {Guidi}",
title="{lambdadelta\_2B}",
howpublished="Formal specification for the interactive prover Matita 0.99.4",
author="Ferruccio {Guidi}",
title="{lambdadelta\_2B}",
howpublished="Formal specification for the interactive prover Matita 0.99.4",