<body>
The λδ family is developed within the
<link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics (HELM)</link>
- as a set of machine-checked digital specifications.
+ as a set of machine-checked <rlink to="html/specification.html">digital specifications</rlink>.
</body>
+ <topitem name="current">
+ <body>
+ <notice class="alpha" text="The current specification: "/>
+ <rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
+ (revised: <notice class="gamma" notice="2020-12"/>).
+ <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
+ </body>
+ <body>
+ <notice class="alpha" text="The current specification depends on: "/>
+ <rlink to="download/lambdadelta_ground.tar.bz2">λδ-ground for Matita 0.99.2</rlink>
+ (revised <notice class="gamma" text="2020-12"/>).
+ </body>
+ </topitem>
<body>
This is the family logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
(revised <notice class="alpha" text="2012-09"/>).
</body>
<body>
<notice class="alpha" text="Notice:"/>
- to view this site correctly, please select a font
- with <link to="http://www.unicode.org/">Unicode</link> support.
+ to view this site correctly, please install fonts
+ supporting <link to="http://www.unicode.org/">Unicode 7.0</link> (June 2014).
+ For instance <notice class="alpha" text="Unifont Upper"/>
+ or <notice class="alpha" text="Symbola"/>
+ or <notice class="alpha" text="Noto Sans Symbols2"/>.
</body>
<body>
<ucs-bronze char="03BB"/>
+ <ucs-bronze char="03C7"/>
+ <ucs-bronze char="03B4"/>
</body>
<!-- ===================================================================== -->
<topitem name="C10">
M. Weber:
<notice class="alpha">An extended type system with lambda-typed lambda-expressions</notice>
- (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.
</topitem>
<topitem name="C9">
M. Weber:
<notice class="alpha">An extended type system with lambda-typed lambda-expressions (extended version)</notice>
- (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
+ (2020). Technical report. Faculty of Computer Science, Technical University of Berlin.
</topitem>
<topitem name="C8">
<link to="https://it.wikipedia.org/wiki/Umineko_no_naku_koro_ni">Umineko no Naku Koro ni</link>.
</body>
+<!-- ===================================================================== -->
+
+ <section15 name="info">lambdadelta.info</section15>
+
+ <body>
+ <img logo="forward"/>
+ If this image is not visible, forwarding is out of order.
+ </body>
+
<footer/>
</page>