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


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