TEST
4
matricola: ______________________________
nome (solo se non si ricorda la matricola):
__________________________________
- Cosa si intende per Proprieta' del Diamante (Diamond
Property) per una relazione? La relazione di beta-riduzione ad un passo
gode di tale proprieta'?
- Ridurre il seguente termine in forma normale (se esiste),
mostrando tutti i passi di riduzione:
( λx.(x ( (λy.y)x
)))(z(λy.(yz)))
- Perche' nel Lambda-calcolo l'operazione di astrazione
funzionale permette di formare solo funzioni di un argomento e non di
piu' argomenti?