Defina os conceitos de alfa-conversão, beta-redução e eta-conversão no Cálculo Lambda. Aplique uma sequência de beta-reduções passo a passo na expressão (λx. λy. x y) (λz. z) para demonstrar a normalização.