Relative injectivity as cocompleteness for a class of distributors. Clementino, Manuel Maria, Hofmann, Dirk (2008) Theory and Applications of Categories [electronic only]
Résultats de complétude pour des classes de types du système 𝒜ℱ 2 Samir Farkh, Karim Nour (1997) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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