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
and its predecessors).
The λδ family is developed within the
Hypertextual Electronic Library of Mathematics
as a set of machine-checked digital specifications.
Notice for the user of Internet Explorer.
To view this site correctly, please select a font
with
Unicode support.
For example "Lucida Sans Unicode" (it should be already installed on your system).
To change the current font follow:
"Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.