The semantics of second-order lambda calculus (1990)

by Kim B Bruce, Albert R Meyer, John C Mitchell
Venue:In Huet [79