Indermark, Klaus Schemes with recursion on higher types. (English) Zbl 0337.68015 Math. Found. Comput. Sci., Proc. 5th MFCS Symp., Gdansk 1976, Lect. Notes Comput. Sci. 45, 352-358 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 68N01 General topics in the theory of software 68W99 Algorithms in computer science 68Q25 Analysis of algorithms and problem complexity PDF BibTeX XML