[\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)
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: Sat, 15 Jun 2019 15:21:57 +0200