X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=ec5cf0d07256c58cb6bb37f1e716cc95eac0c319;hb=614d006be363d2e2bbfdf8eb3c20c8604d278be1;hp=e773b460be5019d60319b3ea60b2616c14be0c21;hpb=4407db5bba0f96916a85648a337648da047fd03d;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index e773b460b..ec5cf0d07 100644
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -19,19 +19,37 @@
The λδ family is developed within the
Hypertextual Electronic Library of Mathematics (HELM)
- as a set of machine-checked digital specifications.
+ as a set of machine-checked digital specifications.
+
+
+
+ λδ-2B for for Matita 0.99.4
+ (revised: ).
+ Documentation (J2a).
+
+
+
+ λδ-ground for Matita 0.99.2
+ (revised ).
+
+
This is the family logo: crux_177.png
(revised ).
- to view this site correctly, please select a font
- with Unicode support.
+ to view this site correctly, please install fonts
+ supporting Unicode 7.0 (June 2014).
+ For instance
+ or
+ or .
+
+
@@ -44,13 +62,13 @@
M. Weber:
An extended type system with lambda-typed lambda-expressions
- (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
+ (2020). In Logical Methods in Computer Science, 16(4), pp. 12:1-12:50.
M. Weber:
An extended type system with lambda-typed lambda-expressions (extended version)
- (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
+ (2020). Technical report. Faculty of Computer Science, Technical University of Berlin.
@@ -171,5 +189,14 @@
Umineko no Naku Koro ni.
+
+
+