\lambda\delta home page

$[\lambda\delta home]$

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

$\lambda\delta rainbow rule$

home	news	specification			documentation	implementation
foreword	milestones	version 2	(background - core - applications)		version 2	helena	Open Symbolic Notation (OSN)
citations	visibility	version 1	(background - core)	(static HELM directory)	version 1	library	(static LDDL directory)

Milestones $\lambda\delta butterfly$

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

December 2015."Helena 0.8.3" is released.

August 2015. The specification of λδ version 2A1 is concluded.

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

March 2015. The specification of λδ version 1 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 λδ version 1 is updated with backports from the abandoned specification of λδ version 2.

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

October 2014.λδ version 2A1 is released.

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

June 2014.First communication on λδ version 2.

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 λδ version 2 and related topics is restarted in Matita 0.5.

February 2011. The specification of λδ version 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 λδ version 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 λδ version 1 for Coq 7.3.1.

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

May 2008. The specification of λδ version 1 is concluded.

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

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

November 2006.λδ version 1 is released.

December 2005.First communication on λδ version 1.

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

Visibility $\lambda\delta butterfly$

June 2014. The Google search for "formal system lambda delta" gives 5 resources about the λδ family in the first 6 results.

June 2014. The Yahoo search for "formal system lambda delta" gives 4 resources about the λδ family in the first 5 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: Thu, 09 Mar 2017 13:38:15 +0100