Vai al contenuto principale
Unipd
Portale Didattica
Orari
Uniweb
Webmail
My Media
Italiano (it)
English (en)
Français (fr)
Italiano (it)
Webmail
Uniweb
Pannello laterale
Home
Unipd
Portale Didattica
Orari
Uniweb
Webmail
My Media
Altro
Italiano (it)
English (en)
Français (fr)
Italiano (it)
Ospite
Login
Home
Unipd
Portale Didattica
Orari
Uniweb
Webmail
My Media
Apri indice del corso
DIPARTIMENTO DI MATEMATICA "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.