Email Record: Informal lectures on formal semantics /