web site update

[helm.git] / helm / www / lambdadelta / index.html

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 71db08c722335ad6d433e6543dddf704582c6c9d..0f1ce23d7f78e558d402c078b482a6fdb758dcaf 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -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: Sun, 11 Oct 2015 17:42:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
   </body>
 </html>