Erika De Benedetti, Simona Ronchi Della Rocca. A type assignment for λ-calculus complete both for FPTIME and strong normalization. Inf. Comput., 248:195-214, 2016. [doi]
@article{BenedettiR16,
title = {A type assignment for λ-calculus complete both for FPTIME and strong normalization},
author = {Erika De Benedetti and Simona Ronchi Della Rocca},
year = {2016},
doi = {10.1016/j.ic.2015.12.012},
url = {http://dx.doi.org/10.1016/j.ic.2015.12.012},
researchr = {https://researchr.org/publication/BenedettiR16},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {248},
pages = {195-214},
}