In this paper, a new recursion induction principle is formulated, by means of the "parallel outermost" computation rule, which allows us to validate a scheme of transformations and a method for proving strong equivalences.
CITATION STYLE
Boudol, G. (1979). A new recursion induction principle. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 67 LNCS, pp. 79–90). Springer Verlag. https://doi.org/10.1007/3-540-09118-1_10
Mendeley helps you to discover research relevant for your work.