Some Semantic Aspects of Polymorphic Lambda Calculus

Peter J. Freyd, Andre Scedrov

Browse the full LICS paper archive.