From Semantics to Computer Science