definizione formale su tipi i semantica