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.
+
+ If this image is not visible, forwarding is out of order.
+