1 % \lambda\delta version 2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
5 title="{lambdadelta\_2}",
6 howpublished="Formal specification for the proof assistant Matita 0.99.2",
9 note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
12 @incollection{lambdadeltaR5,
14 title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
15 editor="F. {Ferreira} and H. {Guerra} and E. {Mayordomo} and J. {Rasga}",
16 booktitle="Local Proceedings of 6th Conference on Computability in Europe (CiE 2010)",
18 publisher="Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores",
19 address="Ponta Delgada, Portugal",
24 @techreport{lambdadeltaR4,
26 title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}",
27 type="Technical Report",
28 number="UBLCS 2009-16",
29 institution="University of Bologna",
30 address="Bologna, Italy",
35 % \lambda\delta version 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
37 @article{lambdadeltaJ1,
39 title="{The Formal System $\lambda\delta$}",
40 journal="Transactions on Computational Logic",
45 address="New York, NY, USA",
50 @incollection{lambdadeltaR3,
52 title="{Lambda Types on the Lambda Calculus with Abbreviations}",
53 editor="S. {Barry Cooper} and T. F. {Kent} and B. {L\"owe} and A. {Sorbi}", @comment="{\"}",
54 booktitle="Local Proceedings of 3rd Conference on Computability in Europe (CiE 2007) Technical Report 487",
56 publisher="Universit\`a di Siena",
57 address="Siena, Italy",
62 @techreport{lambdadeltaR2,
64 title="{Lambda-Types on the Lambda-Calculus with Abbreviations}",
65 type="Technical Report",
66 number="UBLCS 2006-25",
67 institution="University of Bologna",
68 address="Bologna, Italy",
73 @techreport{lambdadeltaR1,
75 title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}",
76 type="Technical Report",
77 number="UBLCS 2006-01",
78 institution="University of Bologna",
79 address="Bologna, Italy",
86 title="{lambdadelta\_1}",
87 howpublished="Formal specification for the proof assistant Coq 7.3.1",
90 note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"