I have started giving talks about the semantics of expressions of replacement. Here is a first draft on the topic:
The Semantic of Replacement