<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="milestones">Milestones <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
</div>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph alpha">December 2015.</span>
+ <a href="http://lambdadelta.info/documentation.html#ldJ3a">Second journal paper on λδ</a>
+ accepted for publication.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph gamma">December 2015.</span>
+ <a href="http://lambdadelta.info/implementation.html#v3">"Helena 0.8.3"</a> is released.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph delta">August 2015.</span>
+ The specification of λδ version 2A1 is concluded.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph gamma">June 2015.</span>
+ The corrected specification of Landau's "Grundlagen der Analysis"
+ is validated in a λProlog implementation of λδ version 3.
+ </li>
+ </ul>
<ul xmlns:ld="http://lambdadelta.info/">
<li>
<span class="emph delta">March 2015.</span>
<ul>
<li>
The translated specification of Landau's "Grundlagen der Analysis"
- is validated in λC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>.
+ is validated in CC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>.
</li>
</ul>
</li>
<ul xmlns:ld="http://lambdadelta.info/">
<li>
<span class="emph gamma">October 2014.</span>
- <a href="http://lambdadelta.info/documentation.html#ldJ2a">λδ version 2A</a>
+ <a href="http://lambdadelta.info/documentation.html#ldJ2a">λδ version 2A1</a>
is released.
</li>
</ul>
<ul xmlns:ld="http://lambdadelta.info/">
<li>
<span class="emph delta">July 2008.</span>
- <a href="http://lambdadelta.info/documentation.html#ldJ1">First journal paper on λδ</a>
+ <a href="http://lambdadelta.info/documentation.html#ldJ1a">First journal paper on λδ</a>
accepted for publication.
</li>
</ul>
<span class="emph alpha">June 2014.</span>
The <a href="http://www.google.com/">Google</a>
search for "formal system lambda delta" gives
- 5 resources about λδ in the first 6 results.
+ 5 resources about the λδ family in the first 6 results.
</li>
</ul>
<ul xmlns:ld="http://lambdadelta.info/">
<span class="emph alpha">June 2014.</span>
The <a href="http://www.yahoo.com/">Yahoo</a>
search for "formal system lambda delta" gives
- 4 resources about λδ in the first 5 results.
+ 4 resources about the λδ family in the first 5 results.
</li>
</ul>
<div class="spacer">
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Sep 2015 21:40:57 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
</body>
</html>