Nuprl Definition : so_lambda4

so_lambda(x,y,z,w.t[x; y; z; w]) ==  λx,y,z,w. t[x; y; z; w]



Definitions occuring in Statement :  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x]

Latex:
so\_lambda(x,y,z,w.t[x;  y;  z;  w])  ==    \mlambda{}x,y,z,w.  t[x;  y;  z;  w]



Date html generated: 2016_05_13-PM-03_06_25
Last ObjectModification: 2015_09_22-PM-05_43_43

Theory : core_2


Home Index