Semantics and Logics of Computation