X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=0f1ce23d7f78e558d402c078b482a6fdb758dcaf;hb=bcc6a96020485731da4c02cc38043817903bd7dc;hp=3a46173de124e7fb3ca3a836a43f3c0c25432c6b;hpb=b7168bf5d5260960a5600093c4b5024e538d8583;p=helm.git

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 3a46173de..0f1ce23d7 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -106,8 +106,8 @@
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
-      the foundations of Mathematics that require an underlying specification language
-      (for example the <a href="http://www.math.unipd.it/~maietti/">Minimal Type Theory</a>
+      the foundational frameworks for Mathematics that require an underlying specification language
+      (for example the <a href="http://www.math.unipd.it/~maietti/">Minimalist Foundation</a>
        and its predecessors).
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
@@ -132,8 +132,15 @@
     <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="citations">Citations <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
-      This is a list of publications citing λδ (not including our own).
+      This is a list of publications citing λδ documentation.
    </div>
+    <ul xmlns:ld="http://lambdadelta.info/" id="C7">
+      <li>
+      C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
+      <span class="emph alpha">ELPI: fast, Embeddable, λProlog Interpreter</span>
+      (2015). In proc. of LPAR 20. LNCS 9450, pp. 460-468.
+   </li>
+    </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="C6">
       <li>
       A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi:
@@ -159,7 +166,7 @@
       <li>
       C.E. Brown:
       <span class="emph alpha">Faithful Reproductions of the Automath Landau Formalization</span>
-      (2011). Typescript note.
+      (2011). Technical report.
    </li>
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="C2">
@@ -173,7 +180,7 @@
       <li>
       V. Rahili: 
       <span class="emph alpha">First Year Report: Realisability methods of proof and semantics with application to expansion</span>
-      (July 2007). Typescript note.
+      (July 2007). Technical report.
    </li>
     </ul>
     <div class="spacer">
@@ -202,6 +209,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
   </body>
 </html>