Nuprl Definition : once-class-program

once-class-program(pr) ==  λi.hdf-once(pr i)


Definitions occuring in Statement :  hdf-once: hdf-once(X),  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  once-class-program
Latex:
once-class-program(pr)  ==    \mlambda{}i.hdf-once(pr  i)


Date html generated: 2016_05_17-AM-09_05_10
Last ObjectModification: 2012_11_29-PM-06_21_31

Theory : local!classes


Home Index