l.b[l]| | == l,w.b[l]|Loc; x.[][x]|
Definitions occuring in Statement :
simple-loc-comb: F|Loc; Xs|,
select: l[i],
lambda: x.A[x],
nil: []
Definitions :
simple-loc-comb: F|Loc; Xs|,
lambda: x.A[x],
select: l[i],
nil: []
FDL editor aliases :
simple-loc-comb0
\mlambda{}l.b[l]| | == \mlambda{}l,w.b[l]|Loc; \mlambda{}x.[][x]|
Date html generated:
2011_08_16-AM-11_30_37
Last ObjectModification:
2011_05_12-PM-02_30_01
Home
Index