+% \lambda\delta version 2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+@misc{lambdadelta8,
+ author="F. {Guidi}",
+ title="{lambdadelta\_2}",
+ howpublished="Formal specification for the proof assistant Matita 0.99.2",
+ year="2014",
+ month="July",
+ note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+}
+
@incollection{lambdadelta7,
author="F. {Guidi}",
title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
month="September"
}
+% \lambda\delta version 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
@article{lambdadelta5,
author="F. {Guidi}",
title="{The Formal System $\lambda\delta$}",
@misc{lambdadelta1,
author="F. {Guidi}",
title="{lambdadelta\_1}",
- howpublished="Formal specification with the proof assistant Coq 7.3.1",
+ howpublished="Formal specification for the proof assistant Coq 7.3.1",
year="2006",
month="November",
note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"