This doesn't seem any more esoteric than lambda calculus. In fact I'm not entirely sure that it isn't a notational variant of lambda calculus.

It will take some more investigation than a quick glance to see what truly distinguishes it.