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"
7 head = "cic:/BOLOGNA/lambdadelta/basic_1/ (core λδ version 1)"
9 <sitemap name="sitemap"/>
11 <section6 name="blocks">Abstract Syntax and Behavior</section6>
12 <body>This is a summary of available syntactic items and reductions (block structure).
14 <table name="basic_1_blk"/>
15 <body>* In terms only.
18 <section6 name="summary">Summary of the Specification</section6>
19 <body>Here is a numerical account of the specification's contents
22 <table name="basic_1_sum"/>
24 <news class="delta" date="January 2015.">
25 Update with backports from the abandoned specification of λδ version 2.
27 <news class="delta" date="May 2008.">
28 Specification is concluded.
30 <news class="gamma" date="November 2006.">
31 Decidability of native type assignment, λδ version 1 is released.
33 <news class="beta" date="December 2005.">
34 Preservation of native type by reduction, λδ version 1 is announced.
36 <news class="alpha" date="May 2004.">
40 <section6 name="structure">Logical Structure of the Specification</section6>
41 <body>This table reports the specification's components and their planes.
43 <table name="basic_1_src"/>