Schnittelimination in einem Teilsystem der einfachen Typenlogik | lit.salon