Context Positive structural operational semantics and monotone distributive laws

by Marcelo Fiore , Sam Staton