The semantics of second-order lambda calculus (1989)

by Mitchell
Venue:Information and Contputation