andrea asperti didattica

Andrea Asperti
Professor of Theoretical Computer Science

Dipartimento di Scienze dell'Informazione
Mura Anteo Zamboni 7
40127, Bologna, Italy
Phone: ++39 51 209 45 05
Email: asperti at cs dot unibo dot it

Ricevimento: Martedi/Mercoledi dalle 11 alle 13.
Ufficio: Secondo piano del Dipartimento, sulla destra.

Informatica Teorica (Theoretical Computer Science)
12 crediti.
Fondamenti logici dell'informatica (Logical foundations of computer science)
- H.P.Barendregt Lambda calculi with types (capitoli 1,2,3,5).
- J.Y.Girard Proof and types (capitoli 1-7,11,13,14).
- A.Asperti, E.Tassi Modified Realizability and Inductive Types.

home

december 2004