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

homenewsspecificationspecification log
forewordmilestonesversion 2(background - syntax - core - applications)
version 2helenaOpen Symbolic Notation (OSN)
citationsvisibilityversion 1(background - core)(static HELM directory)version 1library(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: Tue, 22 Dec 2020 18:19:03 +0100