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:

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)
DOI: 10.1016/0304-3975(95)00105-0
See this article

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)
DOI: 10.1016/0890-5401(91)90057-9
See this article