A type-assignment of linear erasure and duplication. - Curzi, Gianluca; Roversi, Luca (Theoretical Computer Science, 2020)