Hereditarily Sequential Functionals

Hanno Nickau. Hereditarily Sequential Functionals. In Anil Nerode, Yuri Matiyasevich, editors, Logical Foundations of Computer Science, Third International Symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994, Proceedings. Volume 813 of Lecture Notes in Computer Science, pages 253-264, Springer, 1994.

@inproceedings{Nickau94,
  title = {Hereditarily Sequential Functionals},
  author = {Hanno Nickau},
  year = {1994},
  researchr = {https://researchr.org/publication/Nickau94},
  cites = {0},
  citedby = {0},
  pages = {253-264},
  booktitle = {Logical Foundations of Computer Science, Third International Symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
  editor = {Anil Nerode and Yuri Matiyasevich},
  volume = {813},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58140-5},
}