initial commit of lambda_delta web site

[helm.git] / helm / www / lambda_delta / download / lambda_delta.txt

diff --git a/helm/www/lambda_delta/download/lambda_delta.txt b/helm/www/lambda_delta/download/lambda_delta.txt
new file mode 100644 (file)
index 0000000..26c994a
--- /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/}"
+}