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 This is the System logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
25 (revised <date date="2012-09"/>).
28 <section9 name="notice">Notice for the Internet Explorer user</section9>
30 To view this site correctly, please select a font
31 with <link to="http://www.unicode.org/">Unicode</link> support.
32 For example "Lucida Sans Unicode" (it should be already installed on your system).
33 To change the current font follow:
34 "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.