Nuprl Definition : so_lambda3

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



Definitions occuring in Statement :  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x]
FDL editor aliases :  so_lambda3

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



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

Theory : core_2


Home Index