Karl Schlögl

• Ein formales System der einfachen Typenlogik mit Extensionalität und Elimination der Schnittregel