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

home news specification

documentation implementation
foreword milestones version 2 (background - syntax - core - applications)
version 2 helena Open Symbolic Notation (OSN)
citations visibility version 1 (background - core) (static HELM directory) version 1 library (static LDDL directory)
Tools [butterfly]
[Open Symbolic Notation logo] Open Symbolic Notation
Open Symbolic Notation, abbreviated OSN, is an easy and flexible data-interchange text format intended for the lightweight representation of generic abstract syntax trees in the domain of formal languages. Additional information is available at OSN web site.
[Helena logo] Helena
Helena is a processor for the systems of the λδ family, implemented in Caml as a part of the HELM software, meant for testing both their stable and unstable features.
The processor source code is available in the directory /trunk/helm/software/helena/ of the HELM Svn repository. The Svn revisions containing the stable versions of Helena are indicated next.
[\lambda\delta digital library logo] λδ Digital Library (LDDL)
The λδ Digital Library is part of HELM and contains resources expressed in the systems of the λδ family.

[Valid XHTML 1.1] [Valid CSS level 2] [Generated from XML via XSL] [PNG used here] [Viewable with any browser]

Last update: Sat, 15 Jun 2019 15:22:03 +0200