Un po’ di ripasso di algebra
necessaria per discutere la semantica denotazionale
e da riprendere quando parleremo di interpretazione astratta
reticoli
operatori su reticoli
punti fissi e teoremi relativi
calcolare un punto fisso
Next slide
Back to first slide
View graphic version