On Reduction-Based Semantics

• Authors:

• Kohei Honda;Nobuko Yoshida

• Affiliations:

• -;-

• Venue:
• Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1993