A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages.

Karen L. Bernstein

Browse the full LICS paper archive.