Polymorphic linear logic and topos models (1990)

by R A G Seely
Venue:SIAM Journal of Computing