Second-order logical relations (Extended abstract (1985)

by J C Mitchell, A R Meyer
Venue:In Logic of Programs, Proceedings, volume 193 of LNCS