- <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/gda.pdf">A Verified Translation of Landau's "Grundlagen" from Automath into a Pure Type System, via λδ</a> (<span class="emph alpha">2015-02</span>). Submitted to JFR, Univerity of Bologna. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+ <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/gda.pdf">Verified Representations of Landau's "Grundlagen" in λδ and in the Calculus of Constructions</a> (<span class="emph alpha">2015-08</span>). Submitted to JFR, Univerity of Bologna. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
index 70ffdd3b119f2f4f73e0fe7f0368fbc34ed1dcbe..3a08c324280cb7b09cec5a37679fa973083b4f5d 100644 (file)
Binary files a/helm/www/lambdadelta/download/gda.pdf and b/helm/www/lambdadelta/download/gda.pdf differ