Compositionality through an operational semantics of contexts (1991)

by K G Larsen, L Xinxin
Venue:Journal of Logic and Computation