The semantics of second-order lambda calculus (1990)

by K Bruce, A A Meyer, J C Mitchell
Venue:Logical Foundations of Functional Programming