Nuprl Definition : vr_test_abs3

vr_test_abs3(x,y.f[x; y]) ==  f.f


Definitions occuring in Statement :  lambda: x.A[x]
FDL editor aliases :  vr_test_abs3
vr\_test\_abs3(x,y.f[x;  y])  ==    \mlambda{}f.f


Date html generated: 2012_02_20-PM-03_35_46
Last ObjectModification: 2012_02_02-PM-03_29_08

Home Index