Selector calculus