Plotkin and Abadi (1993)

Plotkin G.D. and Abadi M. (1993)

A logic for parametric polymorphism

In [_BG93], pp. 361-375