Compositionality Through an Operational Semantics of Contexts.

Kim Guldstrand Larsen, Xinxin Liu

Browse the full ICALP paper archive.