Semantics and Logics of Computation | lit.salon