Metodi Formali dell'Informatica - a.a. 1998-99

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.

• [AR94]: Specifiche Logico-Formali (per MTI 1994-95)
• lucidi-rewriting: trascrizione dei lucidi di E.Astesiano a cura di A.Tacchino
• Nota 0: integrazione ed errata corrige alle note su specifiche logico-formali [AR94], ed integrazione ai lucidi su term-rewriting [Ast??]
• Nota 1 (MFI 1997-98 modificata): strutture applicative e logica combinatoria
• Nota 2 (MFI 1997-98 modificata): lambda calcoli non tipati
• Type Systems, L. Cardelli, Handbook of Comp. Sci. and Engineering, CRC Press, 1997
• Nota 3 (MFI 1997-98 modificata): lambda calcoli tipati e correttezza del tipaggio rispetto alla semantica operazionale
• Nota 4 (MFI 1997-98 modificata): integrazioni e sunto della parte di calcolabilita' e complessita'.