TEST 2
matricola: ______________________________
nome (solo se non si ricorda la matricola): __________________________________
Are the following lambda-terms alpha-convertible? Justify.
λ
x.(
λ
y.(
λ
z.((xx)(zy))))
λ
w.(
λ
t.(
λ
z.((wx)(zt))))
Perform the following substitution:
(x(
λ
x.yx))[(yz)/x]
Define formally the operation of substitution.