Right and left invertibility in λ - β -calculus I. Margaria; M. Zacchi — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications