1987] "Categorical semantics for higher order polymorphic lambda calculus (0)

by R Seely
Venue:JSL