X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fdownload%2Flambda_delta.txt;fp=helm%2Fwww%2Flambda_delta%2Fdownload%2Flambda_delta.txt;h=26c994a964bb9cca495ecf9d8381a98e4d5ddfbd;hb=fba2975ffd09ffb30a60500725c9991421445f37;hp=0000000000000000000000000000000000000000;hpb=b4240d93f7fd4c3e60d3495dc558edfc0e0f48e7;p=helm.git

diff --git a/helm/www/lambda_delta/download/lambda_delta.txt b/helm/www/lambda_delta/download/lambda_delta.txt
new file mode 100644
index 000000000..26c994a96
--- /dev/null
+++ b/helm/www/lambda_delta/download/lambda_delta.txt
@@ -0,0 +1,78 @@
+@incollection{lambdadelta7,
+   author="F. {Guidi}", 
+   title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
+   publisher="Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores",
+   address="Ponta Delgada, Portugal",
+   editor="F. {Ferreira} and H. {Guerra} and E. {Mayordomo} and J. {Rasga}",
+   booktitle="Local Proceedings of 6th Conference on Computability in Europe (CiE 2010)",
+   pages="204-213",
+   year="2010",
+   month="July"
+}
+
+@techreport{lambdadelta6,
+   author="F. {Guidi}", 
+   title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}", 
+   type="Technical Report",
+   institution="University of Bologna",
+   address="Bologna, Italy",
+   number="UBLCS 2009-16",
+   year="2009",
+   month="September"
+}
+
+@article{lambdadelta5,
+   author="F. {Guidi}",
+   title="{The Formal System $\lambda\delta$}",
+   publisher="ACM",
+   address="New York, NY, USA",
+   journal="Transactions on Computational Logic",
+   volume="11",
+   number="1",
+   year="2009",
+   month="October",
+   pages="Article No. 5"
+}
+
+@incollection{lambdadelta4,
+   author="F. {Guidi}", 
+   title="{Lambda Types on the Lambda Calculus with Abbreviations}",
+   publisher="Universit\`a di Siena",
+   address="Siena, Italy",
+   editor="S. {Barry Cooper} and T. F. {Kent} and B. {L\"owe} and A. {Sorbi}", @comment="{\"}",
+   booktitle="Local Proceedings of 3rd Conference on Computability in Europe (CiE 2007) Technical Report 487",
+   pages="387-387",
+   year="2007",
+   month="June"
+}
+
+@techreport{lambdadelta3,
+   author="F. {Guidi}", 
+   title="{Lambda-Types on the Lambda-Calculus with Abbreviations}", 
+   type="Technical Report",
+   institution="University of Bologna",
+   address="Bologna, Italy",
+   number="UBLCS 2006-25",
+   year="2006",
+   month="November"
+}
+
+@techreport{lambdadelta2,
+   author="F. {Guidi}", 
+   title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}", 
+   type="Technical Report",
+   institution="University of Bologna",
+   address="Bologna, Italy",
+   number="UBLCS 2006-01",
+   year="2006",
+   month="January"
+}
+
+@misc{lambdadelta1,
+   author="F. {Guidi}",
+   title="{lambda-delta}",
+   howpublished="Formal specification with the proof assistant \textsc{coq} 7.3.1",
+   year="2007",
+   month="January",
+   note="Available at the lambda-delta Web site: {http://helm.cs.unibo.it/lambda-delta/}"
+}