Difficoltà a decidere quali regole applicare per valore / per nome evaulazione. Dì che ho:
(λz.zz)(λb.b)
E voglio valutare secondo call by valute, il prossimo passo sarà
(λz.z)(λb.b)
(valuta il lato sinistro - z si applica su z), o
(λz.(λb.b)(λb.b))
(valuta prima il lato destro)
E come procede l'evulazione per la chiamata per nome?