TY  - RPRT
TI  - Strong normalization through idempotent intersection types: a new syntactical approach
AU  - Pablo Barenbaum
AU  - Simona Ronchi Della Rocca
AU  - Cristian Sottile
PY  - 2026
DO  - 10.46298/entics.16693
UR  - https://arxiv.org/abs/2503.09831
ID  - 2503.09831
ER  -