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):

Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac

G. Berry
RAIRO. Informatique théorique 11 (2) 113 (1977)
DOI: 10.1051/ita/1977110201131
See this article

59 (2002)
DOI: 10.1016/B978-155860702-6/50008-9
See this article

Valentin Blot and Jim Laird
95 (2018)
DOI: 10.1145/3209108.3209206
See this article

Continuity in Semantic Theories of Programming

Felice Cardone
History and Philosophy of Logic 36 (3) 242 (2015)
DOI: 10.1080/01445340.2015.1054576
See this article

Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann

Jacques J. Arsac
RAIRO. Informatique théorique 11 (2) 91 (1977)
DOI: 10.1051/ita/1977110200911
See this article

Alberto Pettorossi and Maurizio Proietti
755 263 (1993)
DOI: 10.1007/3-540-57499-9_23
See this article

Dataflow process networks

E.A. Lee and T.M. Parks
Proceedings of the IEEE 83 (5) 773 (1995)
DOI: 10.1109/5.381846
See this article

Default rules for Curry

Theory and Practice of Logic Programming 17 (2) 121 (2017)
DOI: 10.1017/S1471068416000168
See this article

Etude on Recursion Elimination

Nikolay Shilov
Modeling and Analysis of Information Systems 25 (5) 549 (2018)
DOI: 10.18255/1818-1015-2018-5-549-560
See this article