TY  - RPRT
TI  - A type assignment for lambda-calculus complete both for FPTIME and strong normalization
AU  - Erika De Benedetti
AU  - Simona Ronchi Della Rocca
PY  - 2014
UR  - https://arxiv.org/abs/1410.6298
ID  - 1410.6298
ER  -