STT - Semantica e Teoria dei Tipi

Docente

Ugo Montanari


Orario Lezioni Anno Accademico 2016-2017

Mercoledì 09:00-11:00 Aula N1.

Giovedì 11:00-13:00 Aula N1.



Prima Lezione


Lunedì 20 febbraio ore 11:00-13:00 Aula C.

Gli interessati sono invitati a partecipare in vista di possibili cambiamenti di orario.



Finalita’ del Corso

Verranno presentate alcune proprietà fondamentali dei modelli di calcolo, come la semantica operazionale ed astratta, la struttura dei tipi, l'ordine superiore, la concorrenza, l'interazione. Verranno utilizzate la semantica algebrica ed alcuni elementi della teoria delle categorie, ma non vi sono prerequisiti eccetto una conoscenza elementare dell'algebra e della logica.


Course Overview

Some basic properties of models of computation are studied, like operational and abstract semantics, typing, higher order, concurrency, interaction. Algebraic semantics and elementary category theory are employed, but no prerequisites are required except for some elementary knowledge of logic and algebra. 


Programma del Corso


Course Program


Libro di Testo/Textbook

John Mitchell, "Foundations for Programming Languages", MIT Press, 1996. Capitoli: 2.5,4,5,7.2,9,10,11.


Orario Recupero

Da fissare.


Note Manoscritte

Lambda Calcolo: vedi http://www.di.unipi.it/~ugo/1.lambda.pdf.

Tipi Ricorsivi, Adeguatezza Computazionale e Tipi Polimorfi: vedi http://www.di.unipi.it/~ugo/2.types.pdf.

Teoria della Concorrenza: vedi http://www.di.unipi.it/~ugo/3.conc.pdf

Calculus for Communicating Systems: vedi http://www.di.unipi.it/~ugo/4.CCS.pdf

Pi-calcolo: vedi http://www.di.unipi.it/~ugo/5.picalcolo.pdf


Capitolo di Libro

Roberto Bruni and Ugo Montanari, Costruzioni per la Semantica Operazionale della Concorrenza : vedi http://www.di.unipi.it/~ugo/costruzioni.pdf.


Modalita' d'Esame

Da definire caso per caso.


Last modified: 17–Feb-17

E_mail: ugo@di.unipi.it