Dedekind different and type sequence