Nuprl Definition : rec-combined-loc-class-opt-1

F|Loc, X, Prior(self)?init| ==  rec-comb(λn.[X][n];λi,w,s. (F i (w 0) s);init)


Definitions occuring in Statement :  rec-comb: rec-comb(X;f;init),  select: L[n],  cons: [a / b],  nil: [],  apply: f a,  lambda: λx.A[x],  natural_number: $n
FDL editor aliases :  rec-combined-loc-class-opt-1
Latex:
F|Loc,  X,  Prior(self)?init|  ==    rec-comb(\mlambda{}n.[X][n];\mlambda{}i,w,s.  (F  i  (w  0)  s);init)


Date html generated: 2016_05_17-AM-00_08_18
Last ObjectModification: 2012_02_25-PM-02_11_48

Theory : event-ordering


Home Index