TEST
3
matricola: ______________________________
nome (solo se non si ricorda la matricola):
__________________________________
- Definire formalmente l'operazione di sostituzione M[L/x].
- Sottolineare i sottotermini che si possono beta-ridurre
(redex):
( λx.(x ( (λy.y)x
)))(x(λy.(yx)))
- Cos'e' la relazione di alfa-convertibilita' tra
lambda-termini?