Title: Sorten, Typen und Typenfreiheit
Subjects: Type theory, Semantics (Philosophy), Semantics, Logic, symbolic and mathematical