Categorical semantics for higher order polymorphic lambda calculus (1986)

by R A G Seely
Venue:Journal of Symbolic