closed-ste-val(ste) == ste-val(ste) (
x.
)
Definitions occuring in Statement :
ste-val: ste-val(ste),
it: ,
apply: f a,
lambda: x.A[x]
Definitions :
apply: f a,
ste-val: ste-val(ste),
lambda: x.A[x],
it:
FDL editor aliases :
closed-ste-val
closed-ste-val(ste) == ste-val(ste) (\mlambda{}x.\mcdot{})
Date html generated:
2011_08_17-PM-05_10_48
Last ObjectModification:
2011_02_05-AM-00_13_08
Home
Index