es38

  Domanda assurda, infatti (\x.y)((\x.xx)(\x.xx) ) contiene Omega ed e' normalizzabile 
    (anche se, ovviamente, non e' fortemente normalizzabile).