Title: Schnittelimination in einem Teilsystem der einfachen Typenlogik