Metodi Formali dell'Informatica - a.a. 1997-98
Commenti a Eugenio Moggi.
Le note sono o in formato txt o ps. Il previewing dei file ps
puo' essere fatto con ghostview (Per manipolare i file ps si consiglia
di utilizzare il pachetto public domain pstops).
Siete invitati a segnalare errori (soprattutto se fuorvianti) o
cose poco chiare.
- Nota 1:
strutture applicative e logica combinatoria
- Nota 2:
lambda calcoli non tipati
- Type Systems,
L. Cardelli, Handbook of Comp. Sci. and Engineering, CRC Press, 1997
- Nota 3:
lambda calcoli tipati e correttezza del tipaggio rispetto
alla semantica operazionale
- Nota 4:
integrazioni su calcolabilita', e sunto della parte di complessita'.