Materiale del corso Argomenti Algebre e induzione: primo e secondo ordine algebra eterogenea algebra induttiva algebra induttiva degli alberi binari (finiti) morfismi tra algebre induzione completa induzione strutturale Linguaggi: espressione linguaggio linguaggio di programmazione scoping scoping statico scoping dinamico ambiente Regole di valutazione: valutazione eager valutazione lazy teorema dell’equivalenza tra lazy statica e eager il linguaggio Exp il linguaggio Fun lambda calculus teoria dei tipi