1 paper
Benedikt Ahrens, Ralph Matthes
Matthes and Uustalu (TCS 327(1-2):155-174, 2004) presented a categorical description of substitution systems capable of capturing syntax involving binding which is independent of w…