Nuprl Definition : rec-combined-class-opt-3

rec-combined-class-opt-3(F;init;X;Y;Z) ==  rec-comb(λn.[X; Y; Z][n];λi,w,s. (F (w 0) (w 1) (w 2) s);init)



Definitions occuring in Statement :  rec-comb: rec-comb(X;f;init) select: L[n] cons: [a b] nil: [] apply: a lambda: λx.A[x] natural_number: $n
FDL editor aliases :  rec-combined-class-opt-3

Latex:
rec-combined-class-opt-3(F;init;X;Y;Z)  ==    rec-comb(\mlambda{}n.[X;  Y;  Z][n];\mlambda{}i,w,s.  (F  (w  0)  (w  1)  (w  2)  s);\000Cinit)



Date html generated: 2015_07_21-PM-02_56_11
Last ObjectModification: 2012_02_25-PM-02_13_09

Home Index