Context Positive structural operational semantics and monotone distributive laws
by
Marcelo Fiore
,
Sam Staton







