de Roever, W. P. Recursion and parameter mechanisms: an axiomatic approach. (English) Zbl 0302.68019 Automata, Languages, Progr.; 2nd Colloqu., Univ. Saarbrücken, Lecture Notes Computer Sci. 14, 34-65 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 Documents MSC: 68N01 General topics in the theory of software 03G15 Cylindric and polyadic algebras; relation algebras 03B40 Combinatory logic and lambda calculus 68W99 Algorithms in computer science 03D99 Computability and recursion theory PDF BibTeX XML