Linear lambda-calculus and categorical models revisited (0)

by N Benton, G M Bierman, V de Paiva, J M E Hyland
Venue:in Computer Science Logic (CSL’92), Selected Papers, Lecture