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

View PDF

Download Links

by Karen L. Bernstein
Citations:37 - 0 self