Right and left invertibility in $\lambda - \beta $-calculus
Ines Margaria, Maddalena Zacchi · RAIRO Informatique théorique · 1983
L'accès aux archives de la revue « RAIRO -Informatique théorique » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php).Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale.Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques