Polymorphism, Type containment and Nominalization

Fairouz Kamareddine, Ewan Klein. Polymorphism, Type containment and Nominalization. Journal of Logic, Language and Information, 2(3):171-215, 1993.

Abstract

Abstract is missing.