Second-order logical relations (1985)

by John C Mitchell, Albert Meyer
Venue:Logics of Programs