A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (1997)

Cached

Download Links

by Karen L. Bernstein
Citations:36 - 0 self