a,b,s.F[a; b; s]|X,Y,Prior(self)| == 
w,s.F[w 0; w 1; s]|z.[X; Y][z],(self)'|
Definitions occuring in Statement :
rec-combined-class: f|X,(self)'|,
select: l[i],
apply: f a,
lambda: x.A[x],
cons: [car / cdr],
nil: [],
natural_number: $n
Definitions :
rec-combined-class: f|X,(self)'|,
select: l[i],
cons: [car / cdr],
nil: [],
lambda: x.A[x],
apply: f a,
natural_number: $n
FDL editor aliases :
rec-combined-class2
a,b,s.F[a; b; s]|X,Y,Prior(self)| == \mlambda{}w,s.F[w 0; w 1; s]|\mlambda{}z.[X; Y][z],(self)'|
Date html generated:
2011_08_16-PM-04_53_27
Last ObjectModification:
2011_06_21-PM-02_09_26
Home
Index