% \lambda\delta version 3 (proposed) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@misc{lambdadeltaJ4,
+@misc{lambdadeltaJ3a,
author="F. {Guidi}",
title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
year="2015",
% \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@misc{lambdadeltaJ2,
+@misc{lambdadeltaJ2a,
author="F. {Guidi}",
- title="{The Formal System $\lambda\delta$ Revised - Stage A: Extending the Applicability Condition}",
+ title="{The Formal System $\lambda\delta$ Revised, Stage A: Extending the Applicability Condition}",
howpublished="CoRR identifier 1411.0154",
year="2014",
month="November",
note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
}
-@incollection{lambdadeltaR5,
+@incollection{lambdadeltaR2b,
author="F. {Guidi}",
title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
editor="F. {Ferreira} and H. {Guerra} and E. {Mayordomo} and J. {Rasga}",
month="July"
}
-@techreport{lambdadeltaR4,
+@techreport{lambdadeltaR2a,
author="F. {Guidi}",
title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}",
type="Technical Report",
month="November"
}
-@incollection{lambdadeltaR3,
+@incollection{lambdadeltaR1c,
author="F. {Guidi}",
title="{Lambda Types on the Lambda Calculus with Abbreviations}",
editor="S. {Barry Cooper} and T. F. {Kent} and B. {L\"owe} and A. {Sorbi}", @comment="{\"}",
month="June"
}
-@techreport{lambdadeltaR2,
+@techreport{lambdadeltaR1b,
author="F. {Guidi}",
title="{Lambda-Types on the Lambda-Calculus with Abbreviations}",
type="Technical Report",
month="November"
}
-@techreport{lambdadeltaR1,
+@techreport{lambdadeltaR1a,
author="F. {Guidi}",
title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}",
type="Technical Report",