Delia Kesner A Theory of Explicit Substitutions with Safe and Full Composition http://arxiv.org/abs/0905.2539 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0905-2539 3