RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Right and left invertibility in $\lambda - \beta $-calculus

I. Margaria and M. Zacchi

RAIRO. Inform. théor., 17 1 (1983) 71-88

Published online: 01 February 2017

DOI: 10.1051/ita/1983170100711

I. Margaria

M. Zacchi

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)