On principal types and well-foundedness of terms in ECC. - Eitetsu Ken; Kenji Tojo; Kazuki Watanabe 003; Masaki Natori (CoRR, 2020)