%0 Journal Article
%A Berline, C.
%T Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
%J RAIRO. Informatique théorique et applications
%D 1992
%P 59-91
%V 26
%N 1
%I EDP-Sciences
%U https://www.numdam.org/item/ITA_1992__26_1_59_0/
%G fr
%F ITA_1992__26_1_59_0