X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=d12eea80c9df97c8d39dc04e20335f5d192bf646;hp=ec5cf0d07256c58cb6bb37f1e716cc95eac0c319;hb=dfa1cda217f6b9a871ecbdd9bc54920f4a78d301;hpb=2ed8d2abcc3b0687141b627061b63350a0b200bd

diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index ec5cf0d07..d12eea80c 100644
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -59,6 +59,12 @@
       This is a list of publications citing λδ documentation.
    </body>
 
+   <topitem name="C11">
+      Yaoshun Fu, Wensheng Yu:
+      <notice class="alpha">Formalizing Calculus without Limit Theory in Coq</notice>
+      (2021). In Mathematics, 9(12), pp. 1377:1-1377:24.
+   </topitem>
+
    <topitem name="C10">
       M. Weber:
       <notice class="alpha">An extended type system with lambda-typed lambda-expressions</notice>