de Paiva. Linear lambda-calculus and categorical models revisited (1992)

by N Benton, G Bierman, M Hyland, V C V
Venue:In Computer Science Logic, Sixth International Workshop, CSL’92, Selected Papers