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.

Abstract

Abstract is missing.