Semantic Parametricity in Polymorphic Lambda Calculus

Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott

Browse the full LICS paper archive.