[archibaldJ]

What I particularly find interesting is that there is a nice correspondence of this in programming language theory where depending on the evaluation strategy the same values are derived differently from a set of expressions i.e. values are computed in different orders and different causality relationships arise (causality in the sense of which expressions cause another expressions to get evaluated e.g. call by value vs call by name) but ultimately you arrive at the same result (or varying the initial “setup” may result in some expression not being evaluated)