The Dual of Substitution is Redecoration.

Published in: Scottish Functional Programming Workshop (2001)