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 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
+ Hypertextual Electronic Library of Mathematics (HELM)
as a set of machine-checked digital specifications.
@@ -25,12 +26,9 @@
(revised ).
-
- To view this site correctly, please select a font
+
+ 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.
@@ -41,13 +39,13 @@