zbMATH — the first resource for mathematics

Recursive program schemes: Semantics and proof theory. (English) Zbl 0344.68001
Mathematical Centre Tracts. 70. Amsterdam: Mathematisch Centrum. IX, 122 p. Dfl. 13.00 (1976).

68-02 Research exposition (monographs, survey articles) pertaining to computer science
68N01 General topics in the theory of software
68W99 Algorithms in computer science
68Q45 Formal languages and automata
03F99 Proof theory and constructive mathematics