Semantics and Logics of Computation door