The distributive language is similar to the syntax for algebraic effects. The imperative language is a version with loops. The distributive language is an internal language for distributive copy-discard categories.
References.
Tags: distributive category, Type theory, imperative category.