Semantics (2003/2004)

Course partially running

Course code
4S00065
Name of lecturer
Ugo Solitro
Number of ECTS credits allocated
5
Other available courses
Language of instruction
Italian
Period
Third four-month term dal Apr 5, 2004 al Jun 11, 2004.
Web page
https://amarena.sci.univr.it/edu/pub/bscw.cgi/0/1597170

Lesson timetable

Third four-month term
Day Time Type Place Note
Tuesday 9:30 AM - 11:30 AM lesson Lecture Hall C  
Wednesday 8:30 AM - 10:30 AM lesson Lecture Hall C  
Thursday 10:30 AM - 11:30 AM lesson Lecture Hall C  
Reference books
Author Title Publisher Year ISBN Note
G. Winskel The formal Semantics of Programming Languages MIT Press 1993

Teaching aids

Documents