TY  - RPRT
TI  - On principal types and well-foundedness of the cummulativity relation in ECC
AU  - Eitetsu Ken
AU  - Masaki Natori
AU  - Kenji Tojo
AU  - Kazuki Watanabe
PY  - 2021
UR  - https://arxiv.org/abs/2009.03486
ID  - 2009.03486
ER  -