Semantics of the second order lambda calculus (1991)

by B Jacobs
Venue:Math. Struct. in Comp. Sci