"Type-Logical Syntax" von Robert D. Levine ist ein Werk, das sich mit der Schnittstelle zwischen Syntax und Semantik in der linguistischen Theorie beschäftigt. Levine verwendet den Rahmen der Typenlogik, um syntaktische Strukturen zu...