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 λδ version 2"
8 <sitemap name="sitemap"/>
10 <section4 name="foreword">Formats</section4>
12 The formal specification of λδ version 2
13 is available in the following formats:
14 <topitem name="source">
15 <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
16 (revised <date date="2014-07"/>).
18 <rlink to="implementation.html#bibtex">BibTeX entry</rlink>
20 <topitem name="parts">
21 <rlink to="ground_2.html">Background</rlink>,
22 <rlink to="basic_2.html">Core</rlink>,
23 <rlink to="apps_2.html">Applications</rlink>.
24 Informational pages on the parts of the specification.