@misc{lambdadeltaJ2a,
author="Ferruccio {Guidi}",
- title="{Two Formal Systems of the $\lambda\delta$ Family Revised}",
+ title="{A Formal System for the Universal Quantification of Schematic Variables}",
howpublished="Preprint",
- year="2019",
- month="November",
+ year="2020",
+ month="December",
note="CoRR identifier 1911.12749",
}
author="Ferruccio {Guidi}",
title="{lambdadelta\_2B}",
howpublished="Formal specification for the interactive prover Matita 0.99.4",
- year="2019",
- month="November",
+ year="2020",
+ month="October",
note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
}