Schemes with Recursion on Higher Types

Klaus Indermark. Schemes with Recursion on Higher Types. In Antoni W. Mazurkiewicz, editor, Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Volume 45 of Lecture Notes in Computer Science, pages 352-358, Springer, 1976.

Abstract

Abstract is missing.