# Adding Parentheses to Lambda Expression

I'm new to lambda calculus and was wondering if transforming the lambda expression

$v\lambda v.v$

into

$v(\lambda v.)v$

produces the same expression. Could someone help out?

-
Your second version is not a valid expression in the $\lambda$-calculus. $\lambda$-abstraction is over a term: given a term $v$ its $\lambda$-abstraction is ($\alpha$-equivalent to) $\lambda x . v$. With parentheses, your initial expression $v \lambda v . v$ should be $v (\lambda v . v)$. –  Benedict Eastaugh Mar 11 '13 at 15:38

Your second version is not a valid expression in the $λ$-calculus. $λ$-abstraction is over a term: given a term $v$ its $λ$-abstraction is ($α$-equivalent to) $λx.v$. With parentheses, your initial expression $vλv.v$ should be $v(λv.v)$.