Antonio Bucciarelli, Delia Kesner, Daniel Ventura. Strong Normalization through Intersection Types and Memory. Electronic Notes in Theoretical Computer Science, 323:75-91, 2016. [doi]
@article{BucciarelliKV16,
title = {Strong Normalization through Intersection Types and Memory},
author = {Antonio Bucciarelli and Delia Kesner and Daniel Ventura},
year = {2016},
doi = {10.1016/j.entcs.2016.06.006},
url = {http://dx.doi.org/10.1016/j.entcs.2016.06.006},
researchr = {https://researchr.org/publication/BucciarelliKV16},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {75-91},
}