Text this: Semantics and logics of computation