Mathematical foundations of programming language semantics | lit.salon