Semantica algebrica e denotazionale di linguaggi di programmazione