The blue calculus, defined by Boudol, is a variant of the polyadic pi-calculus that directly embeds the notion of function. In this …