Semantics in the Time of Computing (Version intégrée)