% \lambda\delta version 3 (proposed) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@techreport{lambdadeltaR3a,
+ author="Ferruccio {Guidi}",
+ title="{The Formal System $\lambda\Upsilon\mathrm{P}$}",
+ type="Technical Report",
+ number="AMS Acta 5754",
+ institution="University of Bologna",
+ address="Bologna, Italy",
+ year="2018",
+ month="January"
+}
+
@article{lambdadeltaJ3a,
author="Ferruccio {Guidi}",
title="{Verified Representations of Landau's ``Grundlagen'' in the $\lambda\delta$ Family and in the Calculus of Constructions}",
}
@techreport{lambdadeltaR2c,
- author="Ferruccio {Guidi}",
+ author="Ferruccio {Guidi}",
title="{Extending the Applicability Condition in the Formal System $\lambda\delta$}",
type="Technical Report",
number="AMS Acta 4411",
}
@incollection{lambdadeltaR2b,
- author="Ferruccio {Guidi}",
- title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}"
+ author="Ferruccio {Guidi}",
+ title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
editor="Fernando {Ferreira} and H\'elia {Guerra} and Elvira {Mayordomo} and Jo\~ao {Rasga}",
booktitle="Local Proceedings of 6th Conference on Computability in Europe (CiE 2010)",
pages="204--213",
}
@techreport{lambdadeltaR2a,
- author="Ferruccio {Guidi}",
- title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}",
+ author="Ferruccio {Guidi}",
+ title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}",
type="Technical Report",
number="UBLCS 2009-16",
institution="University of Bologna",
@incollection{lambdadeltaR1c,
author="Ferruccio {Guidi}",
-
-
-
title="{Lambda Types on the Lambda Calculus with Abbreviations}",
editor="Stuart Barry {Cooper} and Thomas F. {Kent} and Benedikt {L\"owe} and Andrea {Sorbi}", @comment="{\"}",
booktitle="Local Proceedings of 3rd Conference on Computability in Europe (CiE 2007) Technical Report 487",
}
@techreport{lambdadeltaR1b,
- author="Ferruccio {Guidi}",
- title="{Lambda-Types on the Lambda-Calculus with Abbreviations}",
+ author="Ferruccio {Guidi}",
+ title="{Lambda-Types on the Lambda-Calculus with Abbreviations}",
type="Technical Report",
number="UBLCS 2006-25",
institution="University of Bologna",
}
@techreport{lambdadeltaR1a,
- author="Ferruccio {Guidi}",
- title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}",
+ author="Ferruccio {Guidi}",
+ title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}",
type="Technical Report",
number="UBLCS 2006-01",
institution="University of Bologna",