Text this: Semantics and Logic of Computation