1 paper
Davide Trotta, Margherita Zorzi
Linear type theories, of various types and kinds, are of fundamental importance in most programming language research nowadays. In this paper we describe an extension of Benton's L…