[Crux Logo]

The Formal System λδ (lambda_delta)

Towards the unification of terms, types, environments and contexts

[Separator]
  • News

News [Butterfly]

  • 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.
    • The permanent λδ URL is sheduled to become http://lambda_delta.info on December 2012.
  • April 2011. The specification of λδ version 2 and related topics is restarted in Matita 0.5.
    • Here is a page about the topics related to the specification (Applications).
    • Here is a page about the specification (Core).
  • November 2010. Helena 0.8.1 is released.
  • September 2008. This site is online.
  • March 2008. The specification of λδ version 2 is started with Coq 7.3.1 (false start).

Visibility [Butterfly]

  • February 2012. The Google search for formal system lambda delta gives 5 resources about λδ in the first 6 results.
  • February 2012. The Yahoo search formal system lambda delta gives this site as the first result.

[Valid HTML 4.01 Transitional] [Use Any
          Browser Here] [PNG Used Here]

Last update 2012-04-16 by Ferruccio Guidi