1 <?xml version="1.0" encoding="UTF-8"?>
3 <page xmlns="http://lambdadelta.info/"
4 description = "\lambda\delta home page"
5 title = "\lambda\delta home page"
6 head = "The Formal System λδ (\lambda\delta)"
8 <sitemap name="sitemap"/>
10 <section9 name="foreword">Foreword</section9>
12 The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
13 the foundations of Mathematics that require an underlying specification language
14 (for example the <link to="http://www.math.unipd.it/~maietti/">Minimal Type Theory</link>
15 and its predecessors).
18 λδ is developed in the context of the
19 <link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</link>
20 as a machine-checked digital specification
21 that is not the formal counterpart of some previously published informal material.
24 λδ comes in several versions listed in the following table,
25 which includes the major milestones:
27 <table name="versions"/>
29 This is the System logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
30 (revised <date date="2012-09"/>).
33 <section3 name="notice">Notice for the Internet Explorer user</section3>
35 To view this site correctly, please select a font
36 with <link to="http://www.unicode.org/">Unicode</link> support.
37 For example "Lucida Sans Unicode" (it should be already installed on your system).
38 To change the current font follow:
39 "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.