Gianluca Curzi, Luca Roversi. A type-assignment of linear erasure and duplication. Theoretical Computer Science, 837:26-53, 2020. [doi]
@article{CurziR20,
title = {A type-assignment of linear erasure and duplication},
author = {Gianluca Curzi and Luca Roversi},
year = {2020},
doi = {10.1016/j.tcs.2020.05.001},
url = {https://doi.org/10.1016/j.tcs.2020.05.001},
researchr = {https://researchr.org/publication/CurziR20},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {837},
pages = {26-53},
}