From: Ferruccio Guidi Date: Wed, 12 Dec 2012 22:17:31 +0000 (+0000) Subject: - bib refactoring X-Git-Tag: make_still_working~1395 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6c0df00ed5a72225c6d84f232c623f4ebf1128c4;p=helm.git - bib refactoring - date correction for lambdadelta5 --- diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index db35152fb..4e85dbaae 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -133,9 +133,9 @@ Guidi: F. Guidi: The Formal System - λδ (2009-10). In ACM ToCL 11(1), - Article - No. 5 (accepted + λδ (2009-11). In ACM ToCL 11(1), + pp. 5:1-5:37 + (accepted 2008-07). CoRR identifier cs/0611040 diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib index 57012db16..a40adeb41 100644 --- 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 57012db16..a40adeb41 100644 --- 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" }