Semantics (2006/2007)

Course partially running

Course code
4S00065
Name of lecturer
Andrea Masini
Number of ECTS credits allocated
5
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
2nd quadrimester dal Jan 8, 2007 al Mar 9, 2007.

Lesson timetable

2nd quadrimester
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall L  
Wednesday 2:30 PM - 5:30 PM lesson Lecture Hall L  
Reference books
Author Title Publisher Year ISBN Note
G. Winskel The formal Semantics of Programming Languages MIT Press 1993