On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a Categorical Understanding

Cached

Download Links

by P. Maneggia