Skip to main content
Unipd
Educational Offer
Timetables
Uniweb
Webmail
My Media
English (en)
English (en)
Français (fr)
Italiano (it)
Webmail
Uniweb
Side panel
Home
Unipd
Educational Offer
Timetables
Uniweb
Webmail
My Media
More
English (en)
English (en)
Français (fr)
Italiano (it)
You are currently using guest access
Log in
Home
Unipd
Educational Offer
Timetables
Uniweb
Webmail
My Media
Open course index
DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM
A.A. 2022 - 2023
Corsi di laurea magistrale
SC2598 - COMPUTER SCIENCE
FUNCTIONAL LANGUAGES 22/23
Lesson #18 - 13/12/2022
Lesson #18 - 13/12/2022
Type rules and operational semantics.