Categorical semantics for higher order polymorphic lambda calculus (1987)

by R Seely
Venue:Journal of Symbolic Logic