l,x,s.F[l; x; s]|Loc,X,Prior(self)| ==
l,w,s.F[l; w 0; s]|Loc, n.X, Prior(self)|
Definitions occuring in Statement :
rec-combined-loc-class: f|Loc, X, Prior(self)|,
apply: f a,
lambda: x.A[x],
natural_number: $n
Definitions :
rec-combined-loc-class: f|Loc, X, Prior(self)|,
lambda: x.A[x],
apply: f a,
natural_number: $n
FDL editor aliases :
rec-combined-loc-class1
l,x,s.F[l; x; s]|Loc,X,Prior(self)| == \mlambda{}l,w,s.F[l; w 0; s]|Loc, \mlambda{}n.X, Prior(self)|
Date html generated:
2011_08_16-PM-04_53_10
Last ObjectModification:
2011_06_21-PM-02_19_31
Home
Index