Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
scientific article; zbMATH DE number 36724