-
![[Crux Logo]](images/crux_32.png "The Crux")
-The Formal System λδ (lambdadelta)
+The Formal System λδ (\lambda\delta)
Towards the unification of terms, types, environments and contexts
![[Separator]]()
News ![[Butterfly]](images/b5.png "Butterfly")
+
+ - 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 "lambdadelta" changes to "lambdadelta".
+denomination "lambda-delta" changes to "lambda_delta".
- The character "-" is reserved in λδ textual syntax
(recognized by Helena 0.8.1).
@@ -52,10 +72,6 @@ denomination "lambdadelta" changes to "lambdadelta".
be replaced by "_" in all λδ-related identifiers.
- In particular, this refactoring involves file names and
path names.
- - The permanent λδ URL is sheduled to become http://lambdadelta.info on
-December 2012.
-
@@ -68,13 +84,15 @@ specification of λδ version 2 and related topics is restarted in
Here is a page about the
specification (Core).
+ Here is a page about the
+background of the specification (Ground).
- December 2010.
-Permanent λδ URL acquired: http://lambdadelta.info
-(pointing at this site).
+Transient λδ URL acquired: http://lambda-delta.info/
+(expires on December 2012).
@@ -123,7 +141,7 @@ for Matita 0.5 of the
- May 2008. The
-specification of λδ version 1 is closed.
+specification of λδ version 1 is dismissed.
@@ -220,17 +238,17 @@ started with Coq 7.3.1.
style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
src="images/b4.png">
- - February 2012. The June 2014. The Google search for formal system lambda delta gives
5 resources about λδ in the first 6 results.
- - February 2012. The June 2014. The Yahoo search formal system lambda delta gives
-this site as the first result.
+4 resources about λδ in the first 5 results.
@@ -251,8 +269,7 @@ this site as the first result.
style="width: 88px; height: 31px;" alt="[PNG Used Here]"
title="PNG Used Here" src="images/PNGnow2.png">
-Last update 2012-12-01 by Ferruccio
-
+Last update 2014-06-19 by Ferruccio
Guidi
+
-
+
- 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). +
- The character "-" is reserved in λδ textual syntax (recognized by Helena 0.8.1). @@ -52,10 +72,6 @@ denomination "lambdadelta" changes to "lambdadelta". be replaced by "_" in all λδ-related identifiers.
- In particular, this refactoring involves file names and path names. -
- The permanent λδ URL is sheduled to become http://lambdadelta.info on
-December 2012.
-
+Transient λδ URL acquired: http://lambda-delta.info/ +(expires on December 2012).
- May 2008. The
-specification of λδ version 1 is closed.
+specification of λδ version 1 is dismissed.
-
@@ -220,17 +238,17 @@ started with Coq 7.3.1.
- February 2012. The June 2014. The Google search for formal system lambda delta gives
5 resources about λδ in the first 6 results.
- February 2012. The June 2014. The Yahoo search formal system lambda delta gives -this site as the first result. +4 resources about λδ in the first 5 results.
style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly" src="images/b4.png">
-
-
-
-
-Last update 2012-12-01 by Ferruccio - +Last update 2014-06-19 by Ferruccio Guidi