\lambda\delta home page

$[\lambda\delta home]$

The Formal Systems of the λδ (\lambda\delta) Family

$\lambda\delta rainbow rule$

Milestones $\lambda\delta butterfly$

November 2019. The specifications of λδ-1A and λδ-2A are repackaged (they were λδ-1 and λδ-2A1 respectively).

November 2019. The specification of λδ-2B is released.

November 2018. The specification of λδ-2B is announced.

December 2015.Second journal paper on λδ accepted for publication.

December 2015."Helena 0.8.3" is released.

October 2015. The specification of λδ-2B is started.

August 2015. The specification of λδ-2A is concluded.

June 2015. The corrected specification of Landau's "Grundlagen der Analysis" is validated in a λProlog implementation of λδ-3.

March 2015. The specification of λδ-1A is validated by Matita 0.99.2.

February 2015."Helena 0.8.2" is updated.
- The translated specification of Landau's "Grundlagen der Analysis" is validated in CC by Coq 8.4.3.

January 2015. The specification of λδ-1A is updated with backports from the abandoned specification of λδ-2.

December 2014."Helena 0.8.2" is released.
- The corrected specification of Landau's "Grundlagen der Analysis" is validated in λδ-3.

October 2014. The specification of λδ-2A is released.

July 2014. A new version of this site is online.

June 2014. The specification of λδ-2A is announced.

December 2012. The character "_" is removed from the denomination "lambda_delta":
- The denomination "\lambda\delta" is used in λδ-related texts.
- The denomination "lambdadelta" is used in λδ-related identifiers.
- Permanent λδ URL acquired: http://lambdadelta.info/ (pointing at this site).

September 2011. The denomination "lambda-delta" changes to "lambda_delta":
- The character "-" is reserved in λδ textual syntax (recognized by "Helena 0.8.1").
- Eventually, the occurrences of the character "-" will be replaced by "_" in all λδ-related identifiers.
- In particular, this refactoring involves file names and path names.

April 2011. The specification of λδ-2 and related topics is restarted in Matita 0.5.

February 2011. The specification of λδ-2 with Coq 7.3.1 is abandoned.

December 2010. Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012).

November 2010."Helena 0.8.1" is released.

September 2009."Helena 0.8.0" is released and the λδ Digital Library is started.

June 2009. "Helena", a validator for λδ-2, is available as a part of the HELM software.

September 2008. This site is online.

July 2008.First journal paper on λδ accepted for publication.

July 2008. First procedural reconstruction for Matita 0.5 of the λδ-1A for Coq 7.3.1.

June 2008. The HTML pages of the specification of λδ-1A for Matita 0.5 are online.

May 2008. The specification of λδ-1A is concluded.

March 2008. The specification of λδ-2 is started with Coq 7.3.1 (false start).

September 2007. The specification of λδ-1A for Matita 0.4 is online.

November 2006. The specification of λδ-1A is released.

December 2005. The specification of λδ-1A is announced.

May 2004. The specification of λδ-1 is started with Coq 7.3.1.

Visibility $\lambda\delta butterfly$

November 2019. The Google search for "formal system lambda delta" gives 9 resources about the λδ family in the first 10 results.

November 2019. The Yahoo search for "formal system lambda delta" gives 14 resources about the λδ family in the first 14 results.

$\lambda\delta rainbow rule$

[Valid XHTML 1.1]

[Valid CSS level 2]

[Generated from XML via XSL]

[PNG used here]

[Viewable with any browser]

Last update: Tue, 22 Dec 2020 18:19:03 +0100