View in EDS

A type-assignment of linear erasure and duplication.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first