Right and left invertibility in $\lambda - \beta $-calculusI. Margaria and M. ZacchiRAIRO. Inform. théor., 17 1 (1983) 71-88DOI: https://doi.org/10.1051/ita/1983170100711
