% \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@comment{lambdadeltaR2d,
+@article{lambdadeltaJ2a,
author="Ferruccio {Guidi}",
- 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/}$>$)"
+ title="{A Formal System for the Universal Quantification of Schematic Variables}",
+ journal="Transactions on Computational Logic",
+ volume="23",
+ number="1",
+ pages="2:1--2:37",
+ publisher="ACM",
+ address="New York, NY, USA",
+ year="2022",
+ month="January",
+ note="CoRR identifier 1911.12749",
}
@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/}$>$"
+ year="2020",
+ month="October",
+ note="Retrieved from $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
}
@techreport{lambdadeltaR2c,
institution="University of Bologna",
address="Bologna, Italy",
year="2015",
- month="December"
+ month="December",
+ note="CoRR identifier 1411.0154"
}
@misc{lambdadeltaV2a,
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/}$>$"
+ note="Retrieved from $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
}
@incollection{lambdadeltaR2b,
publisher="ACM",
address="New York, NY, USA",
year="2009",
- month="November"
+ month="November",
+ note="CoRR identifier cs/0611040"
}
@incollection{lambdadeltaR1c,
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/}$>$"
+ note="Retrieved from $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
}