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.

@inproceedings{Indermark76,
  title = {Schemes with Recursion on Higher Types},
  author = {Klaus Indermark},
  year = {1976},
  researchr = {https://researchr.org/publication/Indermark76},
  cites = {0},
  citedby = {0},
  pages = {352-358},
  booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings},
  editor = {Antoni W. Mazurkiewicz},
  volume = {45},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}