x,s.F[x; s]|X, Prior(self)| == 
w,s.F[w 0; s]|z.[X][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-class1
x,s.F[x; s]|X, Prior(self)| == \mlambda{}w,s.F[w 0; s]|\mlambda{}z.[X][z],(self)'|
Date html generated:
2011_08_16-PM-04_53_34
Last ObjectModification:
2011_06_21-PM-02_03_32
Home
Index