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="November 2019.">
25 λδ-1A is repackaged (was λδ-1).
27 <news class="delta" date="January 2015.">
28 λδ-1A is updated with backports from the abandoned specification of λδ-2.
30 <news class="delta" date="May 2008.">
33 <news class="gamma" date="November 2006.">
34 Decidability of native type assignment, λδ-1A is released.
36 <news class="beta" date="December 2005.">
37 Preservation of native type by reduction, λδ-1A is announced.
39 <news class="alpha" date="May 2004.">
43 <section6 name="structure">Logical Structure of the Specification</section6>
44 <body>This table reports the specification's components and their planes.
46 <table name="basic_1_src"/>