Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

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

I. Margaria, M. Zacchi

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

Published online: 2017-02-01

DOI: https://doi.org/10.1051/ita/1983170100711

This article has been cited by the following article(s):

Equational programming in λ-calculus via SL-systems. Part 1

Enrico Tronci
Theoretical Computer Science 160 (1-2) 145 (1996)
https://doi.org/10.1016/0304-3975(95)00105-0

About systems of equations, X-separability, and left-invertibility in the λ-calculus

Corrado Böhm and Enrico Tronci
Information and Computation 90 (1) 1 (1991)
https://doi.org/10.1016/0890-5401(91)90057-9

Logic Colloquium '88, Proceedings of the Colloquium held in Padova

C. Böhm, A. Pipemo and E. Tronci
Studies in Logic and the Foundations of Mathematics, Logic Colloquium '88, Proceedings of the Colloquium held in Padova 127 139 (1989)
https://doi.org/10.1016/S0049-237X(08)70268-4