Adding Parentheses to Lambda Expression

701 Views Asked by At

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?

1

There are 1 best solutions below

0
On BEST ANSWER

I'm reposting Benedict Eastbaugh's comment CW:

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)$.