λδ digital library (LDDL)
home
news
specification
specification log
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
)
Constant
Definition:
absd
(
ld:
/
Environment
/
grundlagen_2
/
l
/
e
/
st
/
eq
/
landau
/
n
/
rt
/
rp
/
absd.ld
)
Informal description: ""
λ[a:
dif
]
.
<
dif
>
.
{
(
a
)
.
(
{
(
(
a
)
.
1a
)
.
(
(
a
)
.
2a
)
}
.
df
)
.
(
dif
)
.
(
(
a
)
.
negd
)
}
.
ite
Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100
![[butterfly]](http://helm.cs.unibo.it/lambdadelta/images/b5.png "\lambda\delta butterfly")
![[Spacer]](http://helm.cs.unibo.it/lambdadelta/images/rainbow.png "\lambda\delta rainbow rule")
![[Generated from XML via XSL]](http://helm.cs.unibo.it/lambdadelta/images/xml_xsl2.png "Generated from XML via XSL")
![[PNG used here]](http://helm.cs.unibo.it/lambdadelta/images/PNGnow2.png "PNG used here")
![[Viewable with any browser]](http://www.anybrowser.org/campaign/bvgraphics/abtfile.png "Viewable with any browser")