%0 Journal Article
%A Margaria, I.
%A Zacchi, M.
%T Right and left invertibility in $\lambda - \beta $-calculus
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1983
%P 71-88
%V 17
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1983__17_1_71_0/
%G en
%F ITA_1983__17_1_71_0