Categorical semantics for higher order polymorphic lambda calculus (1987)

by R A Seely
Venue:Journal of Symbolic Logic