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