Semantics of programming languages and model theory | lit.salon