- bib refactoring

- date correction for lambdadelta5

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index db35152fb9a2b7ed461fccecf9b842df566e517e..4e85dbaae92d472ab7deb644c18440ba68754c85 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -133,9 +133,9 @@ Guidi:
                     <td style="vertical-align: top;"><a name="ldp5"></a>F.
 Guidi:
                       <a href="http://doi.acm.org/10.1145/1614431.1614436"><span style="font-style: italic;">The Formal System
-                          λδ</span></a> (<span style="font-weight: bold;">2009-10</span>). In ACM ToCL 11(1),
-                      Article
-                      No. 5 (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>
+                          λδ</span></a> (<span style="font-weight: bold;">2009-11</span>). In ACM ToCL 11(1),
+                      pp. 5:1-5:37
+                      (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>
                       <span style="font-weight: bold;">2008-07</span>).
                       CoRR
                       identifier <a href="http://arxiv.org/abs/cs/0611040"><span style="font-style: italic;"></span>cs/0611040</a>

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 57012db167839892bd064124edd75b1eb3e5527b..a40adeb411bfa220841c9ceaf754344a484687f8 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -1,11 +1,11 @@
 @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",
+   publisher="Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores",
+   address="Ponta Delgada, Portugal",
    year="2010",
    month="July"
 }
@@ -14,9 +14,9 @@
    author="F. {Guidi}", 
    title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}", 
    type="Technical Report",
+   number="UBLCS 2009-16",
    institution="University of Bologna",
    address="Bologna, Italy",
-   number="UBLCS 2009-16",
    year="2009",
    month="September"
 }
@@ -24,24 +24,24 @@
 @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",
+   pages="5:1-5:37",
+   publisher="ACM",
+   address="New York, NY, USA",
    year="2009",
-   month="October",
-   pages="Article No. 5"
+   month="November"
 }
 
 @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",
+   publisher="Universit\`a di Siena",
+   address="Siena, Italy",
    year="2007",
    month="June"
 }
@@ -50,9 +50,9 @@
    author="F. {Guidi}", 
    title="{Lambda-Types on the Lambda-Calculus with Abbreviations}", 
    type="Technical Report",
+   number="UBLCS 2006-25",
    institution="University of Bologna",
    address="Bologna, Italy",
-   number="UBLCS 2006-25",
    year="2006",
    month="November"
 }
@@ -61,9 +61,9 @@
    author="F. {Guidi}", 
    title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}", 
    type="Technical Report",
+   number="UBLCS 2006-01",
    institution="University of Bologna",
    address="Bologna, Italy",
-   number="UBLCS 2006-01",
    year="2006",
    month="January"
 }

diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index 57012db167839892bd064124edd75b1eb3e5527b..a40adeb411bfa220841c9ceaf754344a484687f8 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -1,11 +1,11 @@
 @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",
+   publisher="Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores",
+   address="Ponta Delgada, Portugal",
    year="2010",
    month="July"
 }
@@ -14,9 +14,9 @@
    author="F. {Guidi}", 
    title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}", 
    type="Technical Report",
+   number="UBLCS 2009-16",
    institution="University of Bologna",
    address="Bologna, Italy",
-   number="UBLCS 2009-16",
    year="2009",
    month="September"
 }
@@ -24,24 +24,24 @@
 @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",
+   pages="5:1-5:37",
+   publisher="ACM",
+   address="New York, NY, USA",
    year="2009",
-   month="October",
-   pages="Article No. 5"
+   month="November"
 }
 
 @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",
+   publisher="Universit\`a di Siena",
+   address="Siena, Italy",
    year="2007",
    month="June"
 }
@@ -50,9 +50,9 @@
    author="F. {Guidi}", 
    title="{Lambda-Types on the Lambda-Calculus with Abbreviations}", 
    type="Technical Report",
+   number="UBLCS 2006-25",
    institution="University of Bologna",
    address="Bologna, Italy",
-   number="UBLCS 2006-25",
    year="2006",
    month="November"
 }
@@ -61,9 +61,9 @@
    author="F. {Guidi}", 
    title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}", 
    type="Technical Report",
+   number="UBLCS 2006-01",
    institution="University of Bologna",
    address="Bologna, Italy",
-   number="UBLCS 2006-01",
    year="2006",
    month="January"
 }