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

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 [butterfly]
Visibility [butterfly]
[Spacer]

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

Last update: Wed, 17 Jan 2018 20:27:11 +0100