X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=56ff9c6fb5ce7dedfa397287b5a162c668174192;hb=f8bf3abd773864388fef5efe599ac77f292a6b9d;hp=b6ded88a24345fb6b5574651149768343094bfbe;hpb=2e06442aacce4c9c9ebbb5977fafebf8231cfc2a;p=helm.git

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index b6ded88a2..56ff9c6fb 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -41,17 +41,14 @@
       <h3 style="text-align: right;">Documentation <img
  style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
  src="images/b5.png"></h3>
-Currently the <span style="font-weight: bold;">main source of
-information</span> on λδ (version 1) is <span
- style="font-weight: bold;">Resource J1</span> below.<br>
-A <span style="font-weight: bold;">summary</span> of basic λδ (version
-1) is found in <span style="font-weight: bold;">Resource P5</span>
-below.<br>
       <h3><img style="width: 32px; height: 32px;"
  alt="[Basic
                   lambdadelta Logo]"
  title="Basic lambdadelta" src="images/basic_32.png"> Basic λδ version
 2 (in progress):</h3>
+The <span style="font-weight: bold;">main source of
+information</span> is <span style="font-weight: bold;">Resource P8</span>.<br>
+      <br>
       <table style="text-align: left; width: 100%;" border="0"
  cellpadding="2" cellspacing="2">
         <tbody>
@@ -65,10 +62,12 @@ Formal System </span><span style="font-style: italic;">λδ</span></a><span
  style="font-style: italic;"></span> (<span style="font-weight: bold;">2010-07</span>).
 
 In
+
             <span style="font-style: italic;">CiE 2010 Local Proceedings</span>.
 
 University
-of Azores, CMATI Booklet, pp. 204-213. <a
+of
+Azores, CMATI Booklet, pp. 204-213. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
             <br>
             </td>
@@ -83,8 +82,21 @@ Guidi: <a
 Automath to lambda-delta</span></a> (<span style="font-weight: bold;">2009-09)</span>.
 
 University
-of Bologna, technical report UBLCS-2009-16. <a
+of
+Bologna, technical report UBLCS-2009-16. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
+            <div style="text-align: left;"><br>
+            </div>
+            </td>
+          </tr>
+          <tr>
+            <td style="vertical-align: top;">P8.<br>
+            </td>
+            <td style="vertical-align: top;"><a name="ldt8"></a>F.Guidi:
+            <a style="font-style: italic;"
+ href="download/ld_talk_8s.pdf">The Formal System λδ and the "Three
+Problems"</a> (<span style="font-weight: bold;">2014-06</span>).
+Presentation at University of Bologna (slides).<br>
             <br>
             </td>
           </tr>
@@ -97,7 +109,8 @@ Guidi: <a href="download/ld_talk_7s.pdf"><span
 Formal System λδ</span></a> (<span style="font-weight: bold;">2010-07</span>).
 
 Presentation
-at CiE 2010 (slides).<br>
+at
+CiE 2010 (slides).<br>
             <br>
             </td>
           </tr>
@@ -108,7 +121,7 @@ at CiE 2010 (slides).<br>
 Guidi: <a href="download/ld_talk_6s.pdf"><span
  style="font-style: italic;">A Validator for the Formal System λδ</span></a>
 (revised <span style="font-weight: bold;">2010-02</span>).
-Presentation at the University of Bologna (slides). </td>
+Presentation at University of Bologna (slides). </td>
           </tr>
         </tbody>
       </table>
@@ -117,6 +130,11 @@ Presentation at the University of Bologna (slides). </td>
                   lambdadelta Logo]"
  title="Basic lambdadelta" src="images/basic_32.png"> Basic λδ version
 1 (dismissed):</h3>
+The <span style="font-weight: bold;">main source of
+information</span> is <span style="font-weight: bold;">Resource J1</span>.
+A <span style="font-weight: bold;">summary</span> is found in <span
+ style="font-weight: bold;">Resource P5</span>.<br>
+      <br>
       <table style="text-align: left; width: 100%;" border="0"
  cellpadding="2" cellspacing="2">
         <tbody>
@@ -145,10 +163,12 @@ Guidi: <a href="download/cie_2007.pdf"><span
 Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
 
 In
+
             <span style="font-style: italic;">CiE 2007 Local Proceedings</span>.
 
 University
-of Siena, technical report 487, p. 387 (abstract of a
+of
+Siena, technical report 487, p. 387 (abstract of a
 presentation). <a href="implementation.html#bibtex">BibTeX entry</a>.<br>
             <br>
             </td>
@@ -163,7 +183,8 @@ Guidi: <a
 Abbreviations</span></a> (<span style="font-weight: bold;">2006-11</span>).
 
 University
-of Bologna, technical report UBLCS-2006-25. <a
+of
+Bologna, technical report UBLCS-2006-25. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
             <br>
             </td>
@@ -176,7 +197,8 @@ Guidi: <a style="font-style: italic;"
  href="http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-01">Lambda
 
 Types
-on the Lambda Calculus with Abbreviations: a Certified
+on
+the Lambda Calculus with Abbreviations: a Certified
 Specification</a> (<span style="font-weight: bold;">2006-01</span>).
 University of Bologna, technical report UBLCS-2006-01. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
@@ -190,7 +212,8 @@ University of Bologna, technical report UBLCS-2006-01. <a
 Guidi: <a style="font-style: italic;" href="download/ld_talk_5s.pdf">The
 
 Formal
-System </a><a href="download/cie_2010.pdf"><span
+System
+            </a><a href="download/cie_2010.pdf"><span
  style="font-style: italic;">λδ</span></a> (<span
  style="font-weight: bold;">2008-10</span>). Presentation at "Advances
 in Constructive Topology and Logical Foundations" (slides).<br>
@@ -206,7 +229,8 @@ Guidi: <a href="download/ld_talk_4s.pdf"><span
 and Contexts</span></a> (<span style="font-weight: bold;">2008-03</span>).
 
 Presentation
-at Types 2008 (slides).<br>
+at
+Types 2008 (slides).<br>
             <br>
             </td>
           </tr>
@@ -219,7 +243,8 @@ Guidi: <a href="download/ld_talk_3s.pdf"><span
 Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
 
 Presentation
-at CiE 2007 (slides).<br>
+at
+CiE 2007 (slides).<br>
             <br>
             </td>
           </tr>
@@ -232,7 +257,8 @@ Guidi: <a href="download/ld_talk_2s.pdf"><span
 Abbreviazioni</span></a> (<span style="font-weight: bold;">2007-01</span>).
 
 Presentation
-at the University of Padova (slides <span style="font-weight: bold;">in
+at
+University of Padova (slides <span style="font-weight: bold;">in
 Italian</span>).<br>
             <br>
             </td>
@@ -244,8 +270,8 @@ Italian</span>).<br>
 Guidi: <a href="download/ld_talk_1s.pdf"><span
  style="font-style: italic;">Lambda Tipi sul Lambda Calcolo con
 Abbreviazioni: una Specifica Certificata</span></a> (<span
- style="font-weight: bold;">2005-12</span>). Presentation at the
-University of Bologna (slides <span style="font-weight: bold;">in
+ style="font-weight: bold;">2005-12</span>). Presentation at University
+of Bologna (slides <span style="font-weight: bold;">in
 Italian</span>).<br>
             </td>
           </tr>
@@ -270,7 +296,7 @@ Italian</span>).<br>
  style="width: 88px; height: 31px;" alt="[PNG Used Here]"
  title="PNG Used Here]" src="images/PNGnow2.png"><br>
 <br>
-Last update 2014-02-25 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2014-06-19 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 </body>