es47


E' sufficiente produrre un controesempio alla transitivita' della beta-riduzione parallela ( => ) : 
(\x.xy)(\z.z) => (\z.z)y => y
(se un termine e' riducibile ad un altro con un passo di beta riduzione, 
e' anche riducibile con un passo di beta-parallela).

Dalla definizione di beta-riduzione parallela si vede pero' che (\x.xy)(\z.z) 
non e' riducibile a y con un singolo passo di beta-parallela.