Categorical semantics for higher order polymorphic lambda calculus (1986)

by R Seely
Venue:3