Right and Left Invertibility in lambda-beta-Calculus.

Ines Margaria Maddalena Zacchi Right and Left Invertibility in lambda-beta-Calculus. 71-88 1983 17 ITA 1 db/journals/ita/ita17.html#MargariaZ83