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

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]

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

Last update: Sun, 16 Apr 2017 15:42:49 +0200