Nuprl Definition : on-loc-class-program

on-loc-class-program(pr) ==  λi.(pr i)



Definitions occuring in Statement :  apply: a lambda: λx.A[x]
FDL editor aliases :  on-loc-class-program

Latex:
on-loc-class-program(pr)  ==    \mlambda{}i.(pr  i  i)



Date html generated: 2016_05_17-AM-09_09_07
Last ObjectModification: 2012_11_29-PM-06_21_51

Theory : local!classes


Home Index