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
(...
posta
05.04.2016 - 19:14