X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=253ecd6b7e48a5ec549930f2b146ac63ac1143d6;hb=f16bf89d854b0c2658d6c622ef5f2bcb8a3cd45a;hp=f62d71288b8f9b99ae6e91758998c7e1a8ae69c3;hpb=66962864d3703b8f3b44e95d32c03ed50ceee6f1;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index f62d71288..253ecd6b7 100644
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -40,6 +40,12 @@
       This is a list of publications citing λδ documentation.
    </body>
 
+   <topitem name="C9">
+      Matthias Weber:
+      <notice class="alpha">An extended type system with lambda-typed lambda-expressions (extended version)</notice>
+      (2017). Technical report. Faculty of Computer Science, Technical University of Berlin.
+   </topitem>
+
    <topitem name="C8">
       M.E. Maietti, S. Maschio:
       <notice class="alpha">An extensional Kleene realizability semantics for the Minimalist Foundation</notice>