Semantic Parametricity in Polymorphic Lambda Calculus

Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott. Semantic Parametricity in Polymorphic Lambda Calculus. In Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. pages 274-279, IEEE Computer Society, 1988.

Abstract

Abstract is missing.