The Formal Systems of the λδ (\lambda\delta) Family
Milestones
-
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.
-
July 2014.
A new version of this site is online.
-
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.
-
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).
-
September 2008.
This site is 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).
-
May 2004.
The specification of λδ version 1
is started with Coq 7.3.1.
Visibility
-
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.
Last update: Sun, 22 May 2016 15:25:26 +0200