ENS20-Foundational Topics in Semantics