Compositionality through an operational semantics of contexts (1991)

by K G Larsen, X Liu
Venue:Journal of Logic and Computation