Nuprl Definition : so_lambda2
λ2x y.t[x; y] == λx,y. t[x; y]
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
Latex:
\mlambda{}\msubtwo{}x y.t[x; y] == \mlambda{}x,y. t[x; y]
Date html generated:
2016_05_13-PM-03_04_42
Last ObjectModification:
2015_09_22-PM-05_43_43
Theory : core_2
Home
Index