Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle C. Berline — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications