%0 Journal Article
%A Rittri, M.
%T Retrieving library functions by unifying types modulo linear isomorphism
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1993
%P 523-540
%V 27
%N 6
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1993__27_6_523_0/
%G en
%F ITA_1993__27_6_523_0