TEST
3
matricola: ______________________________
nome (solo se non si ricorda la matricola):
__________________________________
- Using the Theorem of Confluence, prove the property of
Uniqueness of normal forms.
- Show that Weak Normalizability does not imply Strong
Normalizability.
- Define formally the set of Free Variables of a term.