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

by P N Benton, G M Bierman, J M E Hyland, V C V
Venue:Selected Papers from Computer Science Logic '92, volume 702 of Lecture Notes in Computer Science