Linear lambda-calculus and categorical models revisited (1993)

by N Benton, G Bierman, V de Paiva, M Hyland
Venue:Proceedings of the Sixth Workshop on Computer Science Logic. Pp.61–84