Second-order logical relations (1985)

by J C Mitchell, A R Meyer
Venue:In Logics of Programs