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.
No references recorded for this publication.
No citations of this publication recorded.