index(L;x) == mu(
i.(eqof(dT) x L[i]))
Definitions :
mu: mu(f),
lambda: x.A[x],
apply: f a,
eqof: eqof(d),
select: l[i]
FDL editor aliases :
l_index
index(L;x) == mu(\mlambda{}i.(eqof(dT) x L[i]))
Date html generated:
2010_08_26-PM-11_41_37
Last ObjectModification:
2008_02_27-PM-09_34_22
Home
Index