[\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)
Foreword [butterfly]
The formal systems of the λδ (\lambda\delta) family are typed λ-calculi aiming to support the foundational frameworks for Mathematics that require an underlying specification language, for example the Minimalist Foundation (MF) and its predecessors.
The λδ family is developed within the Hypertextual Electronic Library of Mathematics (HELM) as a set of machine-checked digital specifications.
This is the family logo: crux_177.png (revised 2012-09).
Notice: to view this site correctly, please select a font with Unicode support.
Citations [butterfly]
This is a list of publications citing λδ documentation.
Disclaimer [butterfly]
The systems of the λδ family are not related intentionally to any other system having (variations of) the symbols λ and δ in its name or syntax. Examples include (but are not limited to):
[Smiling face] Moreover, the systems of the λδ family are not related intentionally to Lady Lambdadelta, the Witch of Certainty of the sound novel Umineko no Naku Koro ni.

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

Last update: Wed, 17 Apr 2019 20:26:31 +0200