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

F|Loc, X, Y, Prior(self)?;init| ==  rec-comb(λn.[X; Y][n];λi,w,s. (F i (w 0) (w 1) 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-2
Latex:
F|Loc,  X,  Y,  Prior(self)?;init|  ==    rec-comb(\mlambda{}n.[X;  Y][n];\mlambda{}i,w,s.  (F  i  (w  0)  (w  1)  s);init)


Date html generated: 2016_05_17-AM-00_11_54
Last ObjectModification: 2012_02_25-PM-02_13_24

Theory : event-ordering


Home Index