Joint lecture for the theoretical part of [High-level] programming languages 2 (INBPA0315L*/INBMA0317L*) 2020 Fall