What is a Universal Higher-Order Programming Language?

Ramarao Kanneganti, Robert Cartwright. What is a Universal Higher-Order Programming Language?. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 682-695, Springer, 1993.

@inproceedings{KannegantiC93,
  title = {What is a Universal Higher-Order Programming Language?},
  author = {Ramarao Kanneganti and Robert Cartwright},
  year = {1993},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/KannegantiC93},
  cites = {0},
  citedby = {0},
  pages = {682-695},
  booktitle = {Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
  editor = {Andrzej Lingas and Rolf G. Karlsson and Svante Carlsson},
  volume = {700},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56939-1},
}