% \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@comment{lambdadeltaJ2a,
+@comment{lambdadeltaR2d,
author="Ferruccio {Guidi}",
- title="{The Formal System $\lambda\delta$ Revised: Extending the Applicability Condition}",
+ title="{Two Formal Systems of the $\lambda\delta$ Family Revised}",
howpublished="CoRR identifier 1411.0154",
year="2014",
month="November",
note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
}
+@misc{lambdadeltaV2b,
+ author="Ferruccio {Guidi}",
+ title="{lambdadelta\_2B}",
+ howpublished="Formal specification for the interactive prover Matita 0.99.4",
+ year="2019",
+ month="November",
+ note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
+}
+
@techreport{lambdadeltaR2c,
author="Ferruccio {Guidi}",
title="{Extending the Applicability Condition in the Formal System $\lambda\delta$}",
@misc{lambdadeltaV2a,
author="Ferruccio {Guidi}",
- title="{lambdadelta\_2A1}",
- howpublished="Formal specification for the proof assistant Matita 0.99.2",
+ title="{lambdadelta\_2A}",
+ howpublished="Formal specification for the interactive prover Matita 0.99.2",
year="2014",
month="October",
note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
@misc{lambdadeltaV1a,
author="Ferruccio {Guidi}",
- title="{lambdadelta\_1}",
- howpublished="Formal specification for the proof assistant Coq 7.3.1",
+ title="{lambdadelta\_1A}",
+ howpublished="Formal specification for the interactive prover Coq 7.3.1",
year="2006",
month="November",
note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"