Reduction Relations in Strict Applicative Language

Walter Dosch. Reduction Relations in Strict Applicative Language. In Danny Dolev, Zvi Galil, Michael Rodeh, editors, Theory of Computing and Systems, ISTCS 92, Israel Symposium, Haifa, Israel, May 1992. Volume 601 of Lecture Notes in Computer Science, pages 55-66, Springer, 1992.

@inproceedings{Dosch92,
  title = {Reduction Relations in Strict Applicative Language},
  author = {Walter Dosch},
  year = {1992},
  researchr = {https://researchr.org/publication/Dosch92},
  cites = {0},
  citedby = {0},
  pages = {55-66},
  booktitle = {Theory of Computing and Systems, ISTCS 92, Israel Symposium, Haifa, Israel, May 1992},
  editor = {Danny Dolev and Zvi Galil and Michael Rodeh},
  volume = {601},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55553-6},
}