A type-assignment of linear erasure and duplication.
Saved in:
| Title: | A type-assignment of linear erasure and duplication. |
|---|---|
| Authors: | Curzi, Gianluca1, curzi@di.unito.itgianluca.curzi@unito.it, Roversi, Luca1, luca.roversi@unito.itroversi@di.unito.it |
| Source: | Theoretical Computer Science; Oct2020, Vol. 837, p26-53, 28p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03043975 |
|---|---|
| DOI: | 10.1016/j.tcs.2020.05.001 |
