Main contact: Prof. Dr. Ralf Lämmel
This course was formally called "Programming Paradigms and Formal Semantics".
In the legacy curriculum, it is actually called "Programmierparadigmen".
(Back then, it had 8 ECTS; it has now 6 ECTS.)
In the new curriculum, it carries the right name "Theorie der Programmiersprachen".
The English counterpart, "Programming Language Theory", is used here.