2 citations · 4 across the 14 of their papers we have counts for
1 paper · 2 filters
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…