<img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
</a>
</div>
- <div class="head1">The Formal System λδ (\lambda\delta)</div>
+ <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
<div class="spacer">
<img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
</div>
<div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b15.png" />
</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">
- λδ is developed as a machine-checked digital specification.
- It comes in several versions listed in the next table,
- which includes the major milestones.
+ The systems of the λδ family are developed as machine-checked digital specifications,
+ and are listed in the next table, which includes the major milestones.
</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">
The life cycle of a specification consists of four periods.
<td class="snnn top capitalize italic gray">concluded</td>
<td class="ssnn top capitalize italic gray">references</td>
</tr>
+ <tr>
+ <td class="snns top yellow">
+ <a href="http://lambdadelta.info/specification.html#v3">Version 3</a>
+ </td>
+ <td class="snnn top yellow">"basic_3"</td>
+ <td class="snnn top yellow" />
+ <td class="snnn top yellow" />
+ <td class="snnn top yellow" />
+ <td class="snnn top yellow" />
+ <td class="snnn top yellow" />
+ <td class="snnn top yellow" />
+ <td class="ssnn top yellow">
+ <a href="http://lambdadelta.info/documentation#ldJ3a">J3a</a>
+ </td>
+ </tr>
<tr>
<td class="snns top orange">
<a href="http://lambdadelta.info/specification.html#v2">Version 2</a>
<div xmlns:ld="http://lambdadelta.info/" class="text">
Informational pages on the specifications are provided.
</div>
- <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <ul xmlns:ld="http://lambdadelta.info/" id="notice1">
<li>
<span class="emph alpha">Notice on displayed numerical acounts:</span>
nodes are counted according to the "intrinsic complexity measure"
Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
</li>
</ul>
- <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <ul xmlns:ld="http://lambdadelta.info/" id="notice2">
<li>
<span class="emph alpha">Notice on displayed logical structures:</span>
from the logical standpoint, the source scripts are grouped in "planes"
introduced in each script, is shown in parentheses (? are placeholders).
</li>
</ul>
+ <!-- VERSION 3 =========================================================== -->
+ <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
+ <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="text">
+ The formal specification of λδ version 3
+ is forthcoming.
+ </div>
<!-- VERSION 2 =========================================================== -->
<div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
<img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:21:42 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 04 Mar 2016 16:15:58 +0100</div>
</body>
</html>