From c1175e54bf8d17e41c1f0789ec2bad57aedb9b8c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 4 Sep 2015 17:13:24 +0000 Subject: [PATCH] typo corrected in bibliography --- helm/www/lambdadelta/download/lambdadelta.bib | 2 +- helm/www/lambdadelta/download/lambdadelta.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib index b2292da82..71e541b68 100644 --- a/helm/www/lambdadelta/download/lambdadelta.bib +++ b/helm/www/lambdadelta/download/lambdadelta.bib @@ -2,7 +2,7 @@ @misc{lambdadeltaJ3a, author="F. {Guidi}", - title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}", + title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$ and in the Calculus of Constructions}", year="2015", month="August", note="Submitted to JFR, University of Bologna (available at $<$\url{http://lambdadelta.info/}$>$)" diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt index b2292da82..71e541b68 100644 --- a/helm/www/lambdadelta/download/lambdadelta.txt +++ b/helm/www/lambdadelta/download/lambdadelta.txt @@ -2,7 +2,7 @@ @misc{lambdadeltaJ3a, author="F. {Guidi}", - title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}", + title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$ and in the Calculus of Constructions}", year="2015", month="August", note="Submitted to JFR, University of Bologna (available at $<$\url{http://lambdadelta.info/}$>$)" -- 2.39.2