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

The Semantic of Replacement