TY  - RPRT
TI  - Bounding normalization time through intersection types
AU  - Erika De Benedetti
AU  - Simona Ronchi Della Rocca
PY  - 2013
DO  - 10.4204/eptcs.121.4
UR  - https://arxiv.org/abs/1307.8205
ID  - 1307.8205
ER  -