On principal types and well-foundedness of the cummulativity relation in ECC

Eitetsu Ken, Masaki Natori, Kenji Tojo +1

When we investigate a type system, it is helpful if we can establish the well-foundedness of types or terms with respect to a certain hierarchy, and the Extended Calculus of Constr…